Merge branch 'feature/bug-menubar-height' into 'develop'
Bugfix for gnomon issue number 254: the main window size can not be decreased vertically. See merge request !57
Please register or sign in to comment
Bugfix for gnomon issue number 254: the main window size can not be decreased vertically. See merge request !57