Package: emacs;
Reported by: Angelo Graziosi <angelo.graziosi <at> alice.it>
Date: Sun, 16 Apr 2017 21:53:02 UTC
Severity: normal
Done: martin rudalics <rudalics <at> gmx.at>
Bug is archived. No further changes may be made.
Message #32 received at 26537 <at> debbugs.gnu.org (full text, mbox):
From: Angelo Graziosi <angelo.graziosi <at> alice.it> To: martin rudalics <rudalics <at> gmx.at>, 26537 <at> debbugs.gnu.org Subject: Re: bug#26537: Problems with Emacs frame (GTK) Date: Mon, 17 Apr 2017 22:38:33 +0200
[Message part 1 (text/plain, inline)]
Il 17/04/2017 17:43, martin rudalics ha scritto: > If, as you said before, the behavior on Windows deviates from the one > observed here, it would be instructive to see the corresponding frame > dumps for the Windows build as well. From Win10 20170327 build WITHOUT desktop file (win-screen-nodesktop.png, this is better from what one gets on GNU/Linux...): frame pixel: 1023 x 820 cols/lines: 114 x 52 units: 9 x 16 frame text pixel: 990 x 784 cols/lines: 110 x 49 tool: 36 scroll: 17/0 fringe: 16 border: 0 right: 0 bottom: 0 #<window 6> parent: nil pixel left: 0 top: 36 size: 1023 x 768 new: 768 char left: 0 top: 3 size: 114 x 48 new: 48 normal: 1.0 x 1.0 new: nil #<window 3 on *scratch*> parent: #<window 6> pixel left: 0 top: 36 size: 648 x 768 new: 768 char left: 0 top: 3 size: 72 x 48 new: 48 normal: 0.6334661354581673 x 1.0 new: nil body pixel: 615 x 752 char: 68 x 47 width left fringe: 8 left margin: 0 right margin: 0 width right fringe: 8 scroll-bar: 17 divider: 0 height header-line: 0 mode-line: 16 divider: 0 #<window 7 on *SPEEDBAR*> parent: #<window 6> pixel left: 648 top: 36 size: 375 x 768 new: 768 char left: 72 top: 3 size: 42 x 48 new: 48 normal: 0.3665338645418327 x 1.0 new: nil body pixel: 342 x 752 char: 38 x 47 width left fringe: 8 left margin: 0 right margin: 0 width right fringe: 8 scroll-bar: 17 divider: 0 height header-line: 0 mode-line: 16 divider: 0 #<window 4 on *Minibuf-0*> parent: nil pixel left: 0 top: 804 size: 1023 x 16 new: 0 char left: 0 top: 51 size: 113 x 1 new: 1 normal: 1.0 x 1.0 new: 0 body pixel: 990 x 16 char: 110 x 1 width left fringe: 8 left margin: 0 right margin: 0 width right fringe: 8 scroll-bar: 17 divider: 0 height header-line: 0 mode-line: 0 divider: 0 --------------------------------------------------- From Win10 20170327 build WITH desktop file (win-screen-desktop.png): frame pixel: 1023 x 820 cols/lines: 114 x 52 units: 9 x 16 frame text pixel: 990 x 784 cols/lines: 110 x 49 tool: 36 scroll: 17/0 fringe: 16 border: 0 right: 0 bottom: 0 #<window 8> parent: nil pixel left: 0 top: 36 size: 1023 x 768 new: 768 char left: 0 top: 3 size: 114 x 48 new: 48 normal: 1.0 x 1.0 new: nil #<window 3 on report_bug.txt-save> parent: #<window 8> pixel left: 0 top: 36 size: 756 x 768 new: 768 char left: 0 top: 3 size: 84 x 48 new: 48 normal: 0.7390029325513197 x 1.0 new: nil body pixel: 723 x 752 char: 80 x 47 width left fringe: 8 left margin: 0 right margin: 0 width right fringe: 8 scroll-bar: 17 divider: 0 height header-line: 0 mode-line: 16 divider: 0 #<window 9 on *SPEEDBAR*> parent: #<window 8> pixel left: 756 top: 36 size: 267 x 768 new: 768 char left: 84 top: 3 size: 30 x 48 new: 48 normal: 0.26099706744868034 x 1.0 new: nil body pixel: 234 x 752 char: 26 x 47 width left fringe: 8 left margin: 0 right margin: 0 width right fringe: 8 scroll-bar: 17 divider: 0 height header-line: 0 mode-line: 16 divider: 0 #<window 4 on *Minibuf-0*> parent: nil pixel left: 0 top: 804 size: 1023 x 16 new: 0 char left: 0 top: 51 size: 114 x 1 new: 1 normal: 1.0 x 1.0 new: 0 body pixel: 990 x 16 char: 110 x 1 width left fringe: 8 left margin: 0 right margin: 0 width right fringe: 8 scroll-bar: 17 divider: 0 height header-line: 0 mode-line: 0 divider: 0 ================================================================ I haven't 20170416 build, but this has been done just about two hours after.. From Win10 20170417 build (r128952.8750a4546a) WITHOUT desktop file (win-screen-nodesktop.png): frame pixel: 1023 x 820 cols/lines: 114 x 52 units: 9 x 16 frame text pixel: 990 x 784 cols/lines: 110 x 49 tool: 36 scroll: 17/0 fringe: 16 border: 0 right: 0 bottom: 0 #<window 6> parent: nil pixel left: 0 top: 36 size: 1023 x 768 new: 768 char left: 0 top: 3 size: 114 x 48 new: 48 normal: 1.0 x 1.0 new: 1.0 #<window 3 on *scratch*> parent: #<window 6> pixel left: 0 top: 36 size: 648 x 768 new: 768 char left: 0 top: 3 size: 72 x 48 new: 48 normal: 0.6334661354581673 x 1.0 new: nil body pixel: 615 x 752 char: 68 x 47 width left fringe: 8 left margin: 0 right margin: 0 width right fringe: 8 scroll-bar: 17 divider: 0 height header-line: 0 mode-line: 16 divider: 0 #<window 7 on *SPEEDBAR*> parent: #<window 6> pixel left: 648 top: 36 size: 375 x 768 new: 768 char left: 72 top: 3 size: 42 x 48 new: 48 normal: 0.3665338645418327 x 1.0 new: nil body pixel: 342 x 752 char: 38 x 47 width left fringe: 8 left margin: 0 right margin: 0 width right fringe: 8 scroll-bar: 17 divider: 0 height header-line: 0 mode-line: 16 divider: 0 #<window 4 on *Minibuf-0*> parent: nil pixel left: 0 top: 804 size: 1023 x 16 new: 0 char left: 0 top: 51 size: 113 x 1 new: 1 normal: 1.0 x 1.0 new: 0 body pixel: 990 x 16 char: 110 x 1 width left fringe: 8 left margin: 0 right margin: 0 width right fringe: 8 scroll-bar: 17 divider: 0 height header-line: 0 mode-line: 0 divider: 0 ----------------------------------------------------- from Win10 20170417 build (r128952.8750a4546a) WITH desktop file (win-screen-desktop.png): frame pixel: 1023 x 820 cols/lines: 114 x 52 units: 9 x 16 frame text pixel: 990 x 784 cols/lines: 110 x 49 tool: 36 scroll: 17/0 fringe: 16 border: 0 right: 0 bottom: 0 #<window 8> parent: nil pixel left: 0 top: 36 size: 1023 x 768 new: 768 char left: 0 top: 3 size: 114 x 48 new: 48 normal: 1.0 x 1.0 new: nil #<window 3 on report_bug.txt-save> parent: #<window 8> pixel left: 0 top: 36 size: 756 x 768 new: 768 char left: 0 top: 3 size: 84 x 48 new: 48 normal: 0.7390029325513197 x 1.0 new: nil body pixel: 723 x 752 char: 80 x 47 width left fringe: 8 left margin: 0 right margin: 0 width right fringe: 8 scroll-bar: 17 divider: 0 height header-line: 0 mode-line: 16 divider: 0 #<window 9 on *SPEEDBAR*> parent: #<window 8> pixel left: 756 top: 36 size: 267 x 768 new: 768 char left: 84 top: 3 size: 30 x 48 new: 48 normal: 0.26099706744868034 x 1.0 new: nil body pixel: 234 x 752 char: 26 x 47 width left fringe: 8 left margin: 0 right margin: 0 width right fringe: 8 scroll-bar: 17 divider: 0 height header-line: 0 mode-line: 16 divider: 0 #<window 4 on *Minibuf-0*> parent: nil pixel left: 0 top: 804 size: 1023 x 16 new: 0 char left: 0 top: 51 size: 114 x 1 new: 1 normal: 1.0 x 1.0 new: 0 body pixel: 990 x 16 char: 110 x 1 width left fringe: 8 left margin: 0 right margin: 0 width right fringe: 8 scroll-bar: 17 divider: 0 height header-line: 0 mode-line: 0 divider: 0 Ciao, Angelo.
[win-screens.tar.gz (application/gzip, attachment)]
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.