[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: x-display-pixel-width/height inconsistency
From: |
martin rudalics |
Subject: |
Re: x-display-pixel-width/height inconsistency |
Date: |
Fri, 05 Jul 2013 09:44:36 +0200 |
> But, OTOH, it is entirely possible that the user is saving the desktop
> with some frames only partially visible. If you have many, and some of
> them are less used, you can set them aside so only a fraction of the
> frame is shown, which makes them accessible without taking too much
> screen space.
Perfectly reasonable, yes.
> 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.
The Windows window manager does that automatically, IIRC.
> 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?
I think that once users have the workarea from Yamamoto's function, they
can easily adjust frame positions and sizes in a hook. So I wouldn't
care about this problem from the POV of `desktop-read' any more. Let's
see whether this really could become an issue.
martin
- Re: x-display-pixel-width/height inconsistency, (continued)
- Re: x-display-pixel-width/height inconsistency, martin rudalics, 2013/07/02
- Re: x-display-pixel-width/height inconsistency, Juanma Barranquero, 2013/07/02
- Re: x-display-pixel-width/height inconsistency, martin rudalics, 2013/07/02
- Re: x-display-pixel-width/height inconsistency, Juanma Barranquero, 2013/07/02
- 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 <=
- 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, 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, 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