Editor: Rework User Settings
The current implementation contains too much redundant code. Also, adding new options takes way too much work.
(RM-853 from redmine: created on 2013-07-28 by Marc Zinnschlag, , closed on 2014-05-07 by nobody)
Edited by redmine