[gui] Minor layout improvement.
commit2d3af151fa2f3aac77d14e756754d9e2980cb08a
authorWerner Lemberg <wl@gnu.org>
Tue, 10 Jul 2012 18:08:13 +0000 (10 20:08 +0200)
committerWerner Lemberg <wl@gnu.org>
Tue, 10 Jul 2012 18:08:13 +0000 (10 20:08 +0200)
treeef17bf7701a706c8a7d8ec2b2963f1b32a22ad5b
parentf8d47d3b654e3768939c3d8c201cab74c9bb2335
[gui] Minor layout improvement.
frontend/maingui.cpp