24 Jun
2013
24 Jun
'13
11:35 a.m.
On Mon, 2013-06-24 at 06:54 +0000, michael grosberg wrote:
So, is this something that's it's possible to fix? is it window-manager dependant? (I'm on Windows). Perhaps there's some settings file I can change manually to force it to stay just a little bit larger?
It's a problem, and it's on my radar. It's a Gtk spacing problem between different widgets asking for different size allocations, but I couldn't pick it apart when I was working on the symbols dialog bug; so for now I set a fixed height request to give the dialog more space.
But it should be fixed in a more useful way. Report the bug if it doesn't exist already.
Martin,