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

Previous Next

Full log

View this message in rfc822 format

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: bug#7296: display-pixel-height not enough
Date: Mon, 1 Nov 2010 02:26:44 +0100

On Mon, Nov 1, 2010 at 1:56 AM, YAMAMOTO Mitsuharu
<mituharu <at> math.s.chiba-u.ac.jp> wrote:
>>>>>> On Mon, 1 Nov 2010 01:24:55 +0100, Lennart Borgman <lennart.borgman <at> gmail.com> said:
>
>> 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?
>
> I'd rather suggest implementing "some of window manager emulations"
> (i.e., shortening width/height if specified one exceeds available one,
> and possibly maximized, fullwidth, and fullheight for the fullscreen
> frame parameter) on W32 and seeing if the proposed function is still
> necessary, before introducing incompatibility or new primitives.


In what way can the working display area size in pixels be
incompatible? And why is using the current total display area size
better (and more compatible)?

And how do you plan to implement the shortening without knowing what
the limits are?

Previous Next

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