[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: x-display-pixel-width/height inconsistency
From: |
Jan Djärv |
Subject: |
Re: x-display-pixel-width/height inconsistency |
Date: |
Fri, 5 Jul 2013 13:25:30 +0200 |
Hello.
5 jul 2013 kl. 11:41 skrev Juanma Barranquero <address@hidden>:
> On Fri, Jul 5, 2013 at 11:34 AM, Jan Djärv <address@hidden> wrote:
>
>> W32 is the odd duck here, frame-parameter top in NS and X
>> refers to the outer edge of the window including caption height,
>> i.e. the real top of the frame.
>
> Sorry, I don't understand. AFAIK, the `top' frame parameter in Windows
> also refers to the real top of the frame, but I fail to see the
> relationship between that fact and what I was discussing.
You said:
> So, IMO, the only thing that makes sense is to
> move/resize a frame while restoring when that frame is entirely
> outside the current viewing area. Or, perhaps, when the caption is
> (because in many/most/all? window managers, you can mouse-drag a
> window only from its caption).
>
> Of course, there's no way to know the caption height (in pixels) from
> inside Emacs, I think, so in the end it's all an ugly heuristics: the
> top of the frame is some arbitrary number of pixels inside the viewing
> area. Or is there a better way?
>
You don't need "some arbitrary number of pixels". As I outlined before, if
top/left is inside, put the frame there, otherwise put it at some default
position.
Another possibility is that the display-monitor-attributes-list includes a list
of all frame belonging to a particular monitor. If that monitor is still
available, restore the frame there, otherwise not.
Jan D.
- Re: x-display-pixel-width/height inconsistency, (continued)
- Re: x-display-pixel-width/height inconsistency, martin rudalics, 2013/07/03
- Re: x-display-pixel-width/height inconsistency, Juanma Barranquero, 2013/07/03
- Re: x-display-pixel-width/height inconsistency, martin rudalics, 2013/07/03
- Re: x-display-pixel-width/height inconsistency, Juanma Barranquero, 2013/07/03
- Re: x-display-pixel-width/height inconsistency, martin rudalics, 2013/07/04
- Re: x-display-pixel-width/height inconsistency, Juanma Barranquero, 2013/07/04
- Re: x-display-pixel-width/height inconsistency, martin rudalics, 2013/07/05
- Re: x-display-pixel-width/height inconsistency, Juanma Barranquero, 2013/07/05
- Re: x-display-pixel-width/height inconsistency, Jan Djärv, 2013/07/05
- Re: x-display-pixel-width/height inconsistency, Juanma Barranquero, 2013/07/05
- Re: x-display-pixel-width/height inconsistency,
Jan Djärv <=
- Re: x-display-pixel-width/height inconsistency, Juanma Barranquero, 2013/07/05
- Re: x-display-pixel-width/height inconsistency, Jan Djärv, 2013/07/05
- Re: x-display-pixel-width/height inconsistency, Juanma Barranquero, 2013/07/05
- RE: x-display-pixel-width/height inconsistency, Drew Adams, 2013/07/05
- Re: x-display-pixel-width/height inconsistency, Juanma Barranquero, 2013/07/05
- RE: x-display-pixel-width/height inconsistency, Drew Adams, 2013/07/05
- Re: x-display-pixel-width/height inconsistency, Juanma Barranquero, 2013/07/06
- RE: x-display-pixel-width/height inconsistency, Drew Adams, 2013/07/06
- RE: x-display-pixel-width/height inconsistency, Drew Adams, 2013/07/05
- Re: x-display-pixel-width/height inconsistency, YAMAMOTO Mitsuharu, 2013/07/04