[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#15886: 24.3.50; Incorrect window-text-height with non-zero line-spac
From: |
Eli Zaretskii |
Subject: |
bug#15886: 24.3.50; Incorrect window-text-height with non-zero line-spacing |
Date: |
Wed, 13 Nov 2013 22:44:49 +0200 |
> From: Robert Dallas Gray <mail@robertdallasgray.com>
> Date: Wed, 13 Nov 2013 20:36:14 +0000
> Cc: 15886@debbugs.gnu.org
>
>
> On 13 Nov 2013, at 20:32, Eli Zaretskii <eliz@gnu.org> wrote:
>
> >> From: Robert Dallas Gray <mail@robertdallasgray.com>
> >> Date: Wed, 13 Nov 2013 19:23:19 +0000
> >>
> >> On a graphical display, when `line-spacing' is non-zero,
> >> `window-text-height' reports an incorrect number; equally,
> >> `set-window-text-height' can't be used properly. This impacts on
> >> libraries which use `set-window-text-height' e.g. to attempt to size a
> >> window accurately.
> >
> > Those libraries should use 'window-screen-lines' instead.
> >
> > I think 'window-text-height' should continue doing what it does, as
> > many packages, and Emacs itself, depend on its current behavior.
>
> OK, but is there a parallel setter method, or some way to set the height of a
> window in pixels, so that a window could be correctly sized taking into
> account line-spacing?
I don't understand: if you need to get a window's height and then use
it to change the height, then why isn't 'window-text-height' and
set-window-text-height' what you want? They are consistent with one
another.
Perhaps it would help if you explain more about what you want to
accomplish, and why.
- bug#15886: 24.3.50; Incorrect window-text-height with non-zero line-spacing, Robert Dallas Gray, 2013/11/13
- bug#15886: 24.3.50; Incorrect window-text-height with non-zero line-spacing, Eli Zaretskii, 2013/11/13
- bug#15886: 24.3.50; Incorrect window-text-height with non-zero line-spacing, Robert Dallas Gray, 2013/11/13
- bug#15886: 24.3.50; Incorrect window-text-height with non-zero line-spacing,
Eli Zaretskii <=
- bug#15886: 24.3.50; Incorrect window-text-height with non-zero line-spacing, Robert Dallas Gray, 2013/11/13
- bug#15886: 24.3.50; Incorrect window-text-height with non-zero line-spacing, Eli Zaretskii, 2013/11/13
- bug#15886: 24.3.50; Incorrect window-text-height with non-zero line-spacing, Robert Dallas Gray, 2013/11/13
- bug#15886: 24.3.50; Incorrect window-text-height with non-zero line-spacing, Eli Zaretskii, 2013/11/13
- Message not available
- bug#15886: 24.3.50; Incorrect window-text-height with non-zero line-spacing, Eli Zaretskii, 2013/11/14
- bug#15886: 24.3.50; Incorrect window-text-height with non-zero line-spacing, Robert Dallas Gray, 2013/11/14
- bug#15886: 24.3.50; Incorrect window-text-height with non-zero line-spacing, martin rudalics, 2013/11/14