[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#18195: 24.3.92; window-screen-lines is not accurate
From: |
Eli Zaretskii |
Subject: |
bug#18195: 24.3.92; window-screen-lines is not accurate |
Date: |
Wed, 06 Aug 2014 19:25:00 +0300 |
> Date: Wed, 06 Aug 2014 19:07:32 +0400
> From: Dmitry Gutov <dgutov@yandex.ru>
> CC: rudalics@gmx.at, 18195@debbugs.gnu.org
>
> >> 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.
- bug#18195: 24.3.92; window-screen-lines is not accurate, (continued)
- bug#18195: 24.3.92; window-screen-lines is not accurate, Eli Zaretskii, 2014/08/05
- bug#18195: 24.3.92; window-screen-lines is not accurate, Dmitry Gutov, 2014/08/05
- bug#18195: 24.3.92; window-screen-lines is not accurate, Eli Zaretskii, 2014/08/05
- bug#18195: 24.3.92; window-screen-lines is not accurate, Dmitry Gutov, 2014/08/06
- bug#18195: 24.3.92; window-screen-lines is not accurate, Eli Zaretskii, 2014/08/06
- bug#18195: 24.3.92; window-screen-lines is not accurate, Dmitry Gutov, 2014/08/06
- bug#18195: 24.3.92; window-screen-lines is not accurate,
Eli Zaretskii <=
- bug#18195: 24.3.92; window-screen-lines is not accurate, Dmitry Gutov, 2014/08/06
- bug#18195: 24.3.92; window-screen-lines is not accurate, Eli Zaretskii, 2014/08/06
bug#18195: 24.3.92; window-screen-lines is not accurate, Eli Zaretskii, 2014/08/05