GLUI: small layout fixes
authorStefan Westerfeld <stefan@space.twc.de>
Wed, 13 Mar 2019 17:02:59 +0000 (18:02 +0100)
committerStefan Westerfeld <stefan@space.twc.de>
Wed, 13 Mar 2019 17:02:59 +0000 (18:02 +0100)
commit7c895f142b73be804c0b45e6e7ea2ad6dbaef1e1
treeea86fcb66b14b9cd89a331bc9b8de62ac9b35c63
parentaafa18d34b48a4cc4b604b5f45e939977cd8d753
GLUI: small layout fixes

Signed-off-by: Stefan Westerfeld <stefan@space.twc.de>
glui/sminsteditparams.hh