diff etc/edt-user.doc @ 85684:4fe615944676

(window_min_size_2): Don't count header-line.
author Martin Rudalics <rudalics@gmx.at>
date Fri, 26 Oct 2007 20:56:47 +0000
parents 713172dcf518
children 1dd7437446ea
line wrap: on
line diff