Code review comment for lp:~widelands-dev/widelands/bug-1791891-key-modifier-inputqueue

I think the priority buttons make a really tiny click target anyway, so making them bigger is a good idea.

I'm also OK with minimizing by clicking on the window title only.