Main window size

[GoogleCodeExporter]

The main window is a little small for large displays. Moreover, the annoying 
1-pixel tolerance for the resize cursor in Ubuntu 
(http://brainstorm.ubuntu.com/item/8473/) makes it hard to enlarge it. 

Suggestions:
- Make the main window larger
- Have the main window resize proportionally to the size of the screen.
- Have Aranduka remember the size of the main window from the last time it was 
closed.

Any (or all) of the above will do.

Original issue reported on code.google.com by andresgattinoni on 26 Jan 2011 at 9:44

[GoogleCodeExporter]

This one's easy, I'll take it :-)

Original comment by roberto.alsina on 26 Jan 2011 at 9:51

• Changed state: Started

[GoogleCodeExporter]

Fix in the issue10 branch. Review?

Original comment by roberto.alsina on 26 Jan 2011 at 10:04

[GoogleCodeExporter]

Perfect.

Original comment by andresgattinoni on 26 Jan 2011 at 11:54

[GoogleCodeExporter]

Original comment by roberto.alsina on 27 Jan 2011 at 10:41

• Changed state: Verified