Re: problem of released-button style mode-line

[Miles Bader]

Okay, since this kind of kluge is already used in various places, I
decided it would be better to at least centralize it.

I checked in a new function called `mode-line-window-height-fudge',
which returns 0 or 1 depending on what fudge factor should be added to a
window height.  On a tty, it returns 0.  On a graphic display, it first
checks the value of a customizable variable (also called
`mode-line-window-height-fudge'), and if that is non-nil just returns
it.  Otherwise, it looks at the mode-line face to see if there are any
suspicious attributes, and if there are, returns 1.

If you just use :inverse-video, it should return 0.

When the time comes that this kind of hackery is unnecessary, it should
also be a convenient thing to grep for to remove it.

Flame away...

-Miles
-- 
Love is a snowmobile racing across the tundra.  Suddenly it flips over,
pinning you underneath.  At night the ice weasels come.  --Nietzsche