[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#7296: display-pixel-height not enough
From: |
Lennart Borgman |
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@math.s.chiba-u.ac.jp> wrote:
>>>>>> On Mon, 1 Nov 2010 01:24:55 +0100, Lennart Borgman
>>>>>> <lennart.borgman@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?
- bug#7296: display-pixel-height not enough, (continued)
- bug#7296: display-pixel-height not enough, Stefan Monnier, 2010/10/31
- bug#7296: display-pixel-height not enough, YAMAMOTO Mitsuharu, 2010/10/31
- bug#7296: display-pixel-height not enough, Jan Djärv, 2010/10/31
- bug#7296: display-pixel-height not enough, Lennart Borgman, 2010/10/31
- bug#7296: display-pixel-height not enough, YAMAMOTO Mitsuharu, 2010/10/31
- bug#7296: display-pixel-height not enough, Lennart Borgman, 2010/10/31
- bug#7296: display-pixel-height not enough, YAMAMOTO Mitsuharu, 2010/10/31
- bug#7296: display-pixel-height not enough,
Lennart Borgman <=
- bug#7296: display-pixel-height not enough, YAMAMOTO Mitsuharu, 2010/10/31