diff make-dist @ 32689:9f29610841ca

(window-text-height, set-window-text-height): New functions. (shrink-window-if-larger-than-buffer): Use `window-text-height' instead of `window-height' & `mode-line-window-height-fudge'. (mode-line-window-height-fudge): Add FACE parameter.
author Miles Bader <miles@gnu.org>
date Fri, 20 Oct 2000 15:16:46 +0000
parents 7b81c864cccf
children a020c0f20186
line wrap: on
line diff