GUI: cosmetics

This commit is contained in:
Moritz Bunkus 2015-09-18 19:40:08 +02:00
parent ecc30a82bc
commit 80727a50c7