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 # 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 # parent: # 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 # parent: # 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 # 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 # 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 # parent: # 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 # parent: # 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 # 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 # 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 # parent: # 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 # parent: # 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 # 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 # 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 # parent: # 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 # parent: # 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 # 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.