all messages for Emacs-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
From: martin rudalics <rudalics@gmx.at>
To: Drew Adams <drew.adams@oracle.com>
Cc: Juanma Barranquero <lekktu@gmail.com>,
	Eli Zaretskii <eliz@gnu.org>,
	Emacs developers <emacs-devel@gnu.org>,
	Angelo Graziosi <angelo.graziosi@alice.it>
Subject: Re: How to restore the layout?
Date: Wed, 10 Jul 2013 09:20:01 +0200	[thread overview]
Message-ID: <51DD0B21.5070502@gmx.at> (raw)
In-Reply-To: <46783987-8f32-41b4-b8bb-c28965306cfc@default>

 >> If you maximize another application on your system, do you see any
 >> borders?  I don't here.
 >
 > On MS Windows, clicking the maximize button in the title bar (or maximizing
 > in some other way) makes the window take up the full screen space, but still
 > with its borders, including the title bar.  Maximize and "fullscreen" are not
 > the same thing, AFAIK.

When I start an application like the Windows Explorer I see, above the
title bar, the upper border of its window.  When I maximize the
Explorer's window, I still see the title bar, but the upper border has
disappeared.  When I make the Explorer window fullscreen (via F11) title
bar and upper border both disappear.

 >> Yes.  But sending the window manager an explicit resizing request
 >> lifts that restriction, IIUC.
 >
 > How would I/you check that outside of Emacs, with MS Windows?

No idea.  But with Emacs I can maximize a frame and do

(set-frame-position (selected-frame) 12 12)

to move it, keeping its previous size, while

(set-frame-position (selected-frame) 0 0)

will move it just for a short moment and back to the previous state
afterwards.  In any case, I can clearly see that the frame keeps its
outer borders, confirming an earlier claim of Juanma.

 >>  > Is this the behavior to be expected, that you can move a fullscreen frame
 >>  > around and resize it (so it is, in effect, no longer "full screen"?  To
 >>  > be clear, I don't care, a priori, either way; I'm just reporting what I see,
 >>  > in case it helps.
 >>
 >> It depends on how you move and resize it.
 >
 > How so?  Please elaborate.  What is the design - the "behavior to be expected"
 > in the different cases of how you move/resize?

I can't elaborate because I don't know what you tried to do when you
reported what you saw.  Here I cannot move a maximized Emacse frame by
dragging the mouse or via the System Menu.  I can move it by evaluating

(set-frame-position (selected-frame) 12 12)

or resize it by doing

(set-frame-height (selected-frame) (1- (frame-height)))

though and there's still a button enabled telling me that I can "restore
its size" so Windows still thinks that the Emacs window is maximized.
There's one funny discrepancy: I can't mouse-drag the moved window but
can drag the resized one.

 > As I said, you cannot get to the Move or resizing
 > items of the system menu for a maximized window.  The fact that you can move
 > or resize a "maximized" Emacs frame suggests that the Emacs "maximize" is
 > not quite the same thing as Windows maximize.

Not necessarily.  I unfortunately lost my Emacs trunk version and am not
sure whether and when I'm able to recuperate it, but IIRC I had lots
of incoherent states after doing M-F10.  But, maximizing Emacs via the
button in the upper right corner (I never use that but call WinMaximize
via a key combination instead) always works as expected.

martin



  reply	other threads:[~2013-07-10  7:20 UTC|newest]

Thread overview: 264+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-06-22 13:45 How to restore the layout? Angelo Graziosi
2013-06-22 23:01 ` Xue Fuqiao
2013-06-23 10:24   ` Angelo Graziosi
2013-06-23  8:26 ` martin rudalics
2013-06-23 10:35   ` Angelo Graziosi
2013-06-24 17:05     ` martin rudalics
2013-06-24 17:23       ` Juanma Barranquero
2013-06-24 17:30         ` Eli Zaretskii
2013-06-24 17:52           ` Juanma Barranquero
2013-06-24 18:18             ` Eli Zaretskii
2013-06-24 18:33               ` Stephen Berman
2013-06-24 18:33             ` Stephen Berman
2013-06-24 20:10               ` Juanma Barranquero
2013-06-24 20:11                 ` Juanma Barranquero
2013-06-24 20:22                 ` Jambunathan K
2013-06-24 20:28                   ` Juanma Barranquero
2013-06-24 20:57                     ` martin rudalics
2013-06-24 22:47                       ` Juanma Barranquero
2013-06-24 23:38                         ` Juri Linkov
2013-06-24 23:43                           ` Juanma Barranquero
2013-06-25  6:03                             ` Juri Linkov
2013-06-25 16:05                               ` Juanma Barranquero
2013-06-25  6:46                         ` martin rudalics
2013-06-25 15:32                           ` Juanma Barranquero
2013-06-25 16:32                             ` Stefan Monnier
2013-06-25 16:38                               ` martin rudalics
2013-06-25 17:21                                 ` Juanma Barranquero
2013-06-25 21:36                                   ` Angelo Graziosi
2013-06-25 21:40                                     ` Juanma Barranquero
2013-06-26  0:52                                       ` chad
2013-06-26 14:03                                         ` chad
2013-06-26 17:21                                           ` Juanma Barranquero
2013-06-26 18:27                                             ` martin rudalics
2013-06-26 23:05                                               ` Juanma Barranquero
2013-06-27  2:35                                                 ` Stefan Monnier
2013-06-27  2:57                                                   ` Juanma Barranquero
2013-06-27  4:30                                                     ` Stefan Monnier
2013-06-27  8:55                                                       ` Juanma Barranquero
2013-06-27 15:20                                                         ` Stefan Monnier
2013-06-27 15:23                                                           ` Juanma Barranquero
2013-06-27  8:05                                                 ` martin rudalics
2013-06-27  9:00                                                   ` Juanma Barranquero
2013-06-27  9:38                                                     ` martin rudalics
2013-06-27 21:02                                                       ` Juanma Barranquero
2013-06-28  6:34                                                         ` martin rudalics
2013-06-28 11:53                                                           ` Juanma Barranquero
2013-06-28 14:02                                                             ` martin rudalics
2013-06-27 13:29                                       ` Angelo Graziosi
2013-06-27 14:05                                         ` Juanma Barranquero
2013-06-27 14:31                                           ` Angelo Graziosi
2013-06-27 14:45                                             ` Juanma Barranquero
2013-06-27 18:27                                               ` martin rudalics
2013-06-27 20:30                                                 ` Juanma Barranquero
2013-06-27 20:49                                                   ` martin rudalics
2013-06-27 20:52                                                     ` Juanma Barranquero
2013-06-27 21:00                                                       ` martin rudalics
2013-06-27 21:03                                                         ` Juanma Barranquero
2013-06-27 23:33                                                           ` Juanma Barranquero
2013-06-28  6:07                                                             ` Eli Zaretskii
2013-06-28  8:17                                                               ` Jan Djärv
2013-06-28 11:54                                                                 ` Juanma Barranquero
2013-06-28 11:48                                                               ` Juanma Barranquero
2013-06-28 17:55                                                                 ` Eli Zaretskii
2013-06-28 18:15                                                                   ` Stefan Monnier
2013-06-28 17:22                                                               ` Stefan Monnier
2013-06-28 17:51                                                                 ` Juanma Barranquero
2013-06-28 19:36                                                                   ` Stefan Monnier
2013-06-29  0:54                                                                     ` Juanma Barranquero
2013-06-29  8:29                                                                       ` martin rudalics
2013-06-29 22:06                                                                         ` Juanma Barranquero
2013-06-30  9:35                                                                           ` martin rudalics
2013-06-30 10:32                                                                             ` Juanma Barranquero
2013-06-30 12:55                                                                               ` martin rudalics
2013-06-30 17:55                                                                                 ` Juanma Barranquero
2013-07-01  6:48                                                                                   ` martin rudalics
2013-07-04 20:41                                                                                   ` Angelo Graziosi
2013-07-04 21:34                                                                                     ` Juanma Barranquero
2013-07-04 23:10                                                                                       ` Angelo Graziosi
2013-07-04 23:19                                                                                         ` Juanma Barranquero
2013-07-05  7:45                                                                                           ` martin rudalics
2013-07-05  9:37                                                                                             ` Juanma Barranquero
2013-07-05 14:02                                                                                               ` Angelo Graziosi
2013-07-05 14:55                                                                                                 ` Juanma Barranquero
2013-07-05 15:02                                                                                                   ` Angelo Graziosi
2013-07-05 15:10                                                                                                     ` Juanma Barranquero
2013-07-05 15:30                                                                                                       ` martin rudalics
2013-07-05 15:39                                                                                                         ` Juanma Barranquero
2013-07-05 15:54                                                                                                           ` martin rudalics
2013-07-05 16:02                                                                                                             ` Juanma Barranquero
2013-07-05 17:03                                                                                                               ` martin rudalics
2013-07-05 17:06                                                                                                                 ` Juanma Barranquero
2013-07-05 17:37                                                                                                                   ` martin rudalics
2013-07-06 14:32                                                                                                                 ` Juanma Barranquero
2013-07-07 10:57                                                                                                                   ` martin rudalics
2013-07-05 15:21                                                                                                   ` martin rudalics
2013-07-05 15:26                                                                                                     ` Juanma Barranquero
2013-07-05 15:39                                                                                                       ` martin rudalics
2013-07-05 15:40                                                                                                         ` Juanma Barranquero
2013-07-05 15:55                                                                                                           ` martin rudalics
2013-07-05 17:04                                                                                                       ` Angelo Graziosi
2013-07-05 17:09                                                                                                         ` Juanma Barranquero
2013-07-05  7:45                                                                                         ` martin rudalics
2013-07-05 10:07                                                                                           ` Angelo Graziosi
2013-07-05 12:58                                                                                             ` martin rudalics
2013-07-05 13:13                                                                                               ` Jan Djärv
2013-07-05 13:41                                                                                               ` Angelo Graziosi
2013-07-05 14:42                                                                                                 ` martin rudalics
2013-07-05 18:22                                                                                                   ` Eli Zaretskii
2013-07-05 20:30                                                                                                     ` Angelo Graziosi
2013-07-06  8:47                                                                                                       ` martin rudalics
2013-07-06  9:10                                                                                                         ` Angelo Graziosi
2013-07-06 10:44                                                                                                           ` martin rudalics
2013-07-06 11:04                                                                                                             ` Angelo Graziosi
2013-07-06 13:06                                                                                                               ` martin rudalics
2013-07-06 13:18                                                                                                                 ` Eli Zaretskii
2013-07-06 13:43                                                                                                                   ` martin rudalics
2013-07-06 13:53                                                                                                                     ` Eli Zaretskii
2013-07-07 10:56                                                                                                                       ` martin rudalics
2013-07-06 14:27                                                                                                                 ` Angelo Graziosi
2013-07-06 18:57                                                                                                                 ` Drew Adams
2013-07-07 10:57                                                                                                                   ` martin rudalics
2013-07-07 11:32                                                                                                                     ` Juanma Barranquero
2013-07-07 12:46                                                                                                                       ` martin rudalics
2013-07-07 15:53                                                                                                                         ` Drew Adams
2013-07-08  6:47                                                                                                                           ` martin rudalics
2013-07-08 13:56                                                                                                                             ` Drew Adams
2013-07-08 17:29                                                                                                                               ` Juanma Barranquero
2013-07-09  9:08                                                                                                                                 ` martin rudalics
2013-07-09  9:07                                                                                                                               ` martin rudalics
2013-07-09 15:32                                                                                                                                 ` Drew Adams
2013-07-10  7:20                                                                                                                                   ` martin rudalics [this message]
2013-07-10 13:50                                                                                                                                     ` Drew Adams
2013-07-06  9:13                                                                                                         ` Juanma Barranquero
2013-07-06 10:44                                                                                                           ` martin rudalics
2013-07-06 14:39                                                                                                             ` Juanma Barranquero
2013-07-05  7:44                                                                                       ` martin rudalics
2013-06-29  8:51                                                                   ` Stephen Leake
2013-06-29 18:00                                                                     ` chad
2013-06-29 18:12                                                                       ` Eli Zaretskii
2013-06-29 22:36                                                                     ` Juanma Barranquero
2013-06-30 15:27                                                                       ` Stephen Leake
2013-06-30 18:12                                                                         ` Juanma Barranquero
2013-06-28  8:13                                                     ` Jan Djärv
2013-06-28  8:31                                                       ` martin rudalics
2013-06-28  8:46                                                         ` Jan Djärv
     [not found]                                                           ` <51CD5489.10902@g>
2013-06-28  9:16                                                           ` martin rudalics
2013-06-28 10:01                                                             ` Jan Djärv
2013-06-28 10:19                                                               ` martin rudalics
2013-06-28 10:26                                                                 ` Jan Djärv
2013-06-28 11:50                                                                   ` martin rudalics
2013-06-29  8:47                                                                     ` Stephen Leake
2013-06-29 22:26                                                                       ` Juanma Barranquero
2013-06-30 15:25                                                                         ` Stephen Leake
2013-06-30 18:09                                                                           ` Juanma Barranquero
2013-06-28 12:46                                                                   ` Eli Zaretskii
2013-06-28 14:03                                                                     ` martin rudalics
2013-06-28 14:58                                                                       ` Eli Zaretskii
2013-06-28 15:06                                                                         ` Juanma Barranquero
2013-06-28 17:53                                                                           ` Eli Zaretskii
2013-06-29  0:49                                                                             ` Juanma Barranquero
2013-06-28 15:22                                                                       ` Jan Djärv
2013-06-28 15:32                                                                         ` Juanma Barranquero
2013-06-28 15:53                                                                           ` Jan Djärv
2013-06-28 12:05                                                                 ` Juanma Barranquero
2013-06-28 13:06                                                                   ` Eli Zaretskii
2013-06-28 13:22                                                                     ` Juanma Barranquero
2013-06-28 14:51                                                                       ` Eli Zaretskii
2013-06-28 15:22                                                                         ` Juanma Barranquero
2013-06-28 17:52                                                                           ` Eli Zaretskii
2013-06-29  0:47                                                                             ` Juanma Barranquero
2013-06-29  8:39                                                                               ` Stephen Leake
2013-06-29 22:18                                                                                 ` Juanma Barranquero
2013-06-29 23:48                                                                                   ` Drew Adams
2013-06-30 10:16                                                                                     ` Juanma Barranquero
2013-06-30 16:30                                                                                       ` Drew Adams
2013-06-30 18:15                                                                                         ` Juanma Barranquero
2013-06-30  7:51                                                                                   ` Jan Djärv
2013-06-30  9:35                                                                                     ` martin rudalics
2013-06-30 10:01                                                                                       ` Jan Djärv
2013-06-30 10:11                                                                                         ` martin rudalics
2013-06-30 10:34                                                                                           ` Juanma Barranquero
2013-06-30 10:29                                                                                     ` Juanma Barranquero
2013-06-30 12:55                                                                                       ` martin rudalics
2013-06-30 18:03                                                                                         ` Juanma Barranquero
2013-06-30 21:32                                                                                           ` Jan Djärv
2013-07-01  0:28                                                                                             ` Juanma Barranquero
2013-07-01  3:31                                                                                               ` Juanma Barranquero
2013-07-01  6:50                                                                                                 ` martin rudalics
2013-07-01 10:38                                                                                                   ` Juanma Barranquero
2013-07-02 10:38                                                                                                     ` martin rudalics
2013-07-02 16:32                                                                                                       ` Juanma Barranquero
2013-07-03  9:27                                                                                                         ` martin rudalics
2013-07-03 10:36                                                                                                           ` Juanma Barranquero
2013-07-03 12:42                                                                                                             ` martin rudalics
2013-07-03 14:20                                                                                                               ` Juanma Barranquero
2013-07-03 14:32                                                                                                                 ` Juanma Barranquero
2013-07-04  9:35                                                                                                                 ` martin rudalics
2013-07-03 14:08                                                                                                           ` Drew Adams
2013-07-08  2:50                                                                                                       ` Juanma Barranquero
2013-07-08  6:47                                                                                                         ` martin rudalics
2013-07-08 12:13                                                                                                           ` Juanma Barranquero
2013-07-01 14:11                                                                                                   ` Drew Adams
2013-07-01 14:40                                                                                                     ` Juanma Barranquero
2013-07-01 16:03                                                                                                       ` Drew Adams
2013-07-01 16:37                                                                                                         ` Juanma Barranquero
2013-07-01 18:03                                                                                                           ` Drew Adams
2013-07-02  0:25                                                                                                             ` Juanma Barranquero
2013-07-02  3:46                                                                                                               ` Drew Adams
2013-07-02 17:32                                                                                                                 ` Juanma Barranquero
2013-07-02 19:40                                                                                                                   ` Drew Adams
2013-07-03  9:03                                                                                                                     ` Juanma Barranquero
2013-07-03  9:34                                                                                                                       ` martin rudalics
2013-07-03 10:38                                                                                                                         ` Juanma Barranquero
2013-07-03 12:42                                                                                                                           ` martin rudalics
2013-07-03 14:35                                                                                                                             ` Juanma Barranquero
2013-07-04  9:35                                                                                                                               ` martin rudalics
2013-07-04 14:17                                                                                                                                 ` Juanma Barranquero
2013-07-05  7:43                                                                                                                                   ` martin rudalics
2013-07-05  9:35                                                                                                                                     ` Juanma Barranquero
2013-07-03 14:08                                                                                                                       ` Drew Adams
2013-07-03 14:54                                                                                                                         ` Juanma Barranquero
2013-07-03  9:27                                                                                                                     ` martin rudalics
2013-07-03 14:08                                                                                                                       ` Drew Adams
2013-07-03  9:27                                                                                                                   ` martin rudalics
2013-07-03 10:37                                                                                                                     ` Juanma Barranquero
2013-07-03 14:08                                                                                                                       ` Drew Adams
2013-07-03 15:16                                                                                                                         ` Juanma Barranquero
2013-07-03 17:01                                                                                                                           ` Drew Adams
2013-06-30 15:23                                                                                   ` Stephen Leake
2013-06-30 15:34                                                                                     ` Eli Zaretskii
2013-06-28 14:03                                                                   ` martin rudalics
2013-06-28 15:12                                                                     ` Juanma Barranquero
2013-06-28 10:22                                                               ` Eli Zaretskii
2013-06-28 11:50                                                                 ` martin rudalics
2013-06-28 12:11                                                                   ` Juanma Barranquero
2013-06-28 12:24                                                                     ` Angelo Graziosi
2013-06-28 13:02                                                                   ` Eli Zaretskii
2013-06-28 14:07                                                                     ` martin rudalics
2013-06-28 14:59                                                                       ` Eli Zaretskii
2013-06-28 12:08                                                                 ` Juanma Barranquero
2013-06-28 13:07                                                                   ` Eli Zaretskii
2013-06-28 13:29                                                                     ` Juanma Barranquero
2013-06-28 14:53                                                                       ` Eli Zaretskii
2013-06-28 15:24                                                                         ` Juanma Barranquero
2013-06-29  8:03                                                                     ` Stephen Leake
2013-06-29  8:11                                                                       ` Eli Zaretskii
2013-06-30 15:29                                                                         ` Stephen Leake
2013-06-30 15:39                                                                           ` Eli Zaretskii
2013-06-28 12:00                                                               ` Juanma Barranquero
2013-06-28 12:31                                                                 ` Jan Djärv
2013-06-28 13:18                                                                   ` Juanma Barranquero
2013-06-28 14:26                                                                     ` Jan Djärv
2013-06-28 15:19                                                                       ` Juanma Barranquero
2013-06-28 14:03                                                                   ` martin rudalics
2013-06-28 15:13                                                                     ` Jan Djärv
2013-06-28 15:14                                                                     ` Juanma Barranquero
2013-06-28 14:02                                                                 ` martin rudalics
2013-06-28 15:10                                                                   ` Juanma Barranquero
2013-06-28 16:17                                                                     ` martin rudalics
2013-06-29  8:41                                                                 ` Stephen Leake
2013-06-28 13:29                                                             ` Drew Adams
2013-06-25  3:22               ` Stephen J. Turnbull
2013-06-24 17:38         ` martin rudalics
2013-06-23 12:28   ` Juanma Barranquero

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=51DD0B21.5070502@gmx.at \
    --to=rudalics@gmx.at \
    --cc=angelo.graziosi@alice.it \
    --cc=drew.adams@oracle.com \
    --cc=eliz@gnu.org \
    --cc=emacs-devel@gnu.org \
    --cc=lekktu@gmail.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this external index

	https://git.savannah.gnu.org/cgit/emacs.git
	https://git.savannah.gnu.org/cgit/emacs/org-mode.git

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.