bjorn/mana — comment on commit 74eb0d58c8d6845b3a12d911b0889280ba0099cc
File:  line 0
By Bertram25:

The second thing I pointed to is less important, btw. The patch would be indeed fine without adding system-wise minimum size to the main window.