[GREENFOOT-432] Editor font size changes do not take effect immediately
When changing the editor font size in the preferences dialogue, the change is not applied to open editors. (The editor needs to be opened again.)
Also, the font size of the info area at the bottom does not change until after restart.
Both should be immediate.
- Issue type: Bug
- Priority: Low
- Fix versions: 3.0.3