Subject: Re: bug#18195: 24.3.92; window-screen-lines is not accurate

From: Eli Zaretskii <[email-masked]>
Date: Wed, 06 Aug 2014 19:25:00 +0300

> Date: Wed, 06 Aug 2014 19:07:32 +0400
> From: Dmitry Gutov <[email-masked]>
> CC: [email-masked], [email-masked]
> 
> >> Well, there are also text decorations, and users should be able to add
> >> (most of) them without running into problems.
> >
> > Which decorations are those?
> 
> Underline, bold, italic..?

They all use fonts that are different from the default one, and thus
change the height of the screen lines, if only by a few pixels.