GNU bug report logs - #7296
display-pixel-height not enough

Previous Next

Full log

Message #116 received at 7296 <at> debbugs.gnu.org (full text, mbox):

From: Lennart Borgman <lennart.borgman <at> gmail.com>
To: YAMAMOTO Mitsuharu <mituharu <at> math.s.chiba-u.ac.jp>
Cc: Jan Djärv <jan.h.d <at> swipnet.se>, 7296 <at> debbugs.gnu.org
Subject: Re: bug#7296: display-pixel-height not enough
Date: Mon, 1 Nov 2010 01:24:55 +0100

On Mon, Nov 1, 2010 at 1:10 AM, YAMAMOTO Mitsuharu
<mituharu <at> math.s.chiba-u.ac.jp> wrote:
>>>>>> On Sun, 31 Oct 2010 11:46:58 +0100, Lennart Borgman <lennart.borgman <at> gmail.com> said:
>
>>> Perhaps W32 can do similar things for window position/size
>>> adjustments so the window height is automatically shortened when
>>> the specified height exceeds the "available" height.
>
>> It is possible to do this on w32. (But it is a bit more complicated
>> than what I suggested here.)
>
> As Drew and Jan pointed out, appropriate calculation at the Lisp level
> is not that simple and requires platform-specific adjustment even if
> we have a primitive for available pixel width/height.

Yes, but it is not possible at all without the display working area size.

Could we, as a first step, do as Eli suggested, i.e. let
display-pixel-height/width return the working area size instead of the
total display size? Is there any reason not to do this now?

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.