[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#18195: 24.3.92; window-screen-lines is not accurate
From: |
martin rudalics |
Subject: |
bug#18195: 24.3.92; window-screen-lines is not accurate |
Date: |
Thu, 07 Aug 2014 17:39:18 +0200 |
> 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.
There is no other buffer. Everything is done in the buffer where the
overlay is supposed to appear.
martin
- bug#18195: 24.3.92; window-screen-lines is not accurate, (continued)
- 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, 2014/08/07
- bug#18195: 24.3.92; window-screen-lines is not accurate,
martin rudalics <=
- 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
- bug#18195: 24.3.92; window-screen-lines is not accurate, Eli Zaretskii, 2014/08/06