Leaving the default full-screen mode always results in the editor taking up very little space, so users have to manually resize it again, each time. That's not good, it would be better if it could "de-maximize" to some sane default size, in the best case computed dynamically from either the screen size or size of individual components contained in the window.
Leaving the default full-screen mode always results in the editor taking up very little space, so users have to manually resize it again, each time. That's not good, it would be better if it could "de-maximize" to some sane default size, in the best case computed dynamically from either the screen size or size of individual components contained in the window.