[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: |
Fri, 08 Aug 2014 13:25:16 +0300 |
> Date: Fri, 08 Aug 2014 12:10:44 +0200
> From: martin rudalics <rudalics@gmx.at>
> CC: dgutov@yandex.ru, 18195@debbugs.gnu.org
>
> > IOW, your suggested solution is incomplete, unless you intend the
> > application to do some iterative process, each time changing the
> > position where it puts the overlay and adjusting it in the next
> > iteration based on the results of window-text-pixel-size.
>
> This precisley formulates what the application should do and cannot be
> avoided IMHO.
We should provide an API that allows applications to avoid that.
> After all, tooltips and menus seem to face exactly the same problem
> when the frame is at the bottom of the display.
No, we never do any iterations or multiple trials when displaying
menus and tooltips. We compute the required space and then compare it
with what is available to make the decision.
- 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/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, 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 <=
- 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, 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, Eli Zaretskii, 2014/08/05