The main window size can not be decreased vertically
I can increase the vertical size of the window with any of these 3 methods
- grab and move the resize handle in the bottom right corner
- use the Gnome window manager with the SUPER-UP shortcut
- click the maximize button in the title bar
I can not decrease the vertical size of the window with the 3 methods (the gnome window manager shortcut is SUPER-DOWN).
Workaround : delete ~/.config/inria/gnomon.ini
Edited by LACROIX Romain