Re: (set-specifier minimum-line-ascent 30 (current-buffer))

On Wed, Aug 18, 1999 at 12:30:52PM +0200, Jan Vroonhof wrote: probably should, but i think it would depend on what you're interrested into. because assuming it would take those ascent/descent into consideration, then it would still be very wrong if you have lines of different heights, no? so, i'd say if it is possible to have lines of different height in the window, then window-displayed-height should be used. if it is guaranteed that all lines have the same height, window-height can be used. i mean, if you want something accurate, shouldn't you use the window-displayed-height? and also, whoever that is calling default_face_height_and_width, don't they expect the behaviour it surrently has, and add themselves the ascent/descent ? maybe so code is not interrested in these values ? and i would even consider it to be a property of the window, of the way the font is drawn on the screen, as a 'space between lines' and not as a property of the font itself, so default_face_height_and_width would not be appropriate if it gave me this info. but maybe there should be another function like default_face_height_and_width that would use it and add the inscent/descent, and that would be used in window-height. i think it depends on the use people are making with window-height, no? i don't know... it seems to me window-height is a function that should be used a lot in loads of files, and people might be expecting this behaviour and would rely on the other window-displayed-height if they wanted more accurate info. or is it that window-height is useless because not accurate enough ? -- # Stef Epardaud, # There is no limit to the power of computing ... # Java Defeater # ... except men maybe ? # Earth # Lunatech Research, # Solar System # soon we will quit researching and start finding...