Main window will not shrink when toolbar is docked

[GoogleCodeExporter]

If the toolbar is docked, issuing the set_graphics_window_size() command in the 
scripting window will not shrink the window beyond the toolbar size if the 
toolbar is docked.

I discovered this problem on my netbook, where the toolbar is actually longer 
than the screen height. Consequently, the --small-screen switch has no effect 
on the height of the window, which poses a problem.

If I undock the toolbar, the resize works as expected (except you can't shrink 
the window in the horizontal direction to be smaller than the menu.) 

One possible solution to this would be to select a set of smaller icons for the 
toolbar if the program discovers that it won't fit on the screen. The Mac OSX 
Gui can deal with the situation where the window becomes smaller than the menu. 
Perhaps there is a similar thing in GTK2.

I am running:
0.7-pre-1 (revision 3355)  [with python 2.6.5 embedded]
Binary type: Linux-x86_64-ubuntu-10.04.2-python-gtk2

Original issue reported on code.google.com by mortenkj...@gmail.com on 7 Feb 2011 at 10:52

[pemsley]

Fixed in 0.8.3 - thanks.