[Top][All Lists]

[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 11:20:16 +0100

On Mon, Nov 1, 2010 at 3:46 AM, YAMAMOTO Mitsuharu
<address@hidden> wrote:
>>>>>> On Mon, 1 Nov 2010 02:26:44 +0100, Lennart Borgman <address@hidden> said:
>>> 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)?
> I mean compatibility with previous versions.

But is not the current version of display-pixel-height/width kind of
bogus since it does not give the actual useable working area?

And haven't we made a decision to try to avoid beeing "bug-back-compatible"?

> It looks unnatural that we can't know the offsets of the available
> display area, if we are to have primitives to get its size.

Yes, we can add functions for that too. There is a lot of small
details to consider here actually, but I think doing the change I
suggested (or rather Eli) is the best first step.

> Also we
> need to consider multiple-monitor environment.

Yes. (I told about the function to use for w32 for that.)

> Anyway, no matter how you try to specify position/size in detail at
> the Lisp level, additional constraints are forced by the window
> manager on X11 and the Cocoa framework on Mac OS X.  And such
> additional constraints actually solve the problem in your motivating
> example in the first place.  It looks more natural to implement such
> constraints in the remaining environment, i.e., W32.

I see. Yes, maybe. I will have a look at it. (But I would still
suggest changing display-pixel-height/width.)

reply via email to

[Prev in Thread] Current Thread [Next in Thread]