Editor: User Settings
Implement user settings and an user settings dialogue for the editor.
(RM-461 from redmine: created on 2012-11-25 by Marc Zinnschlag, , closed on 2013-05-16 by Joel Graff)
Edited by redmine
Implement user settings and an user settings dialogue for the editor.
(RM-461 from redmine: created on 2012-11-25 by Marc Zinnschlag, , closed on 2013-05-16 by Joel Graff)