[BLUEJ-191] Make default editor size bigger
The default editor size (after creating a new class) is too small. (Especially now that the naviview is there).
Make it wider and higher. I'd say about 900x700 pix.
Issue metadata
- Issue type: Task
- Priority: Medium
- Fix versions: 3.0.0