16 Feb
2017
16 Feb
'17
1:45 p.m.
On Don, 2017-02-16 at 13:42 +0100, Roman Haefeli wrote:
On Don, 2017-02-16 at 12:26 +0000, Lucas Cordiviola wrote:
Line 351
set ::menubarsize 22
?
Thanks, that looks promising, but it doesn't do anything on Linux when editing the value for x11 window system (it is already configured to 19, but resulting height is 30px).
And for Windows it is set to 0 and changing it doesn't show any effect either.
Roman