In the latest rev the pane size adjustment is finally fixed. Thanks so
much for that Max. It used to be that when you adjusted the ant pane on
the right, it would push the project pane in and make it smaller, then
when you minimized the ant pane, the project pane would become huge.
Now everything sits still exactly where you last left it. As small a
change as this might be, it's a HUGE difference in usability.