[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: |
Thu, 07 Aug 2014 18:35:21 +0300 |
> Date: Thu, 07 Aug 2014 17:08:36 +0200
> From: martin rudalics <rudalics@gmx.at>
> CC: dgutov@yandex.ru, 18195@debbugs.gnu.org
>
> > I obviously fail to explain to you why this will not work in general.
> > Never mind.
>
> If by "in general" you mean that he won't be able to align his overlays
> properly with varying font sizes, prefixes, line warping and the like if
> he continues to use the original text, I obviously agree.
No, I mean that it is generally unreliable to measure the pixel
dimensions of some text in one buffer, then assume that the dimensions
will be the same when displayed as overlay in another buffer. This is
only true when both buffers use the same single font and the same line
spacing; otherwise, it's simply false.
- bug#18195: 24.3.92; window-screen-lines is not accurate, (continued)
- 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, 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, martin rudalics, 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, martin rudalics, 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, martin rudalics, 2014/08/07
- bug#18195: 24.3.92; window-screen-lines is not accurate,
Eli Zaretskii <=
- bug#18195: 24.3.92; window-screen-lines is not accurate, martin rudalics, 2014/08/07
- bug#18195: 24.3.92; window-screen-lines is not accurate, Eli Zaretskii, 2014/08/07
- bug#18195: 24.3.92; window-screen-lines is not accurate, martin rudalics, 2014/08/08
- bug#18195: 24.3.92; window-screen-lines is not accurate, Eli Zaretskii, 2014/08/08
- bug#18195: 24.3.92; window-screen-lines is not accurate, martin rudalics, 2014/08/08
- bug#18195: 24.3.92; window-screen-lines is not accurate, Eli Zaretskii, 2014/08/08
- 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