bug#26537: Problems with Emacs frame (GTK)

[Angelo Graziosi]

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
Description: application/gzip