Editor: Window Size
Add a user setting for the default window size. Also, give the top level window a resonable minimum size.
(RM-468 from redmine: created on 2012-11-25 by Marc Zinnschlag, , closed on 2013-06-26 by Michał Bień)
Add a user setting for the default window size. Also, give the top level window a resonable minimum size.
(RM-468 from redmine: created on 2012-11-25 by Marc Zinnschlag, , closed on 2013-06-26 by Michał Bień)