preferences for code editor
preferences for code editor do not work
(from redmine: issue id 1907, created on 2014-10-09 by Daniel.Van.Asseldonk, closed on 2014-10-09)
preferences for code editor do not work
(from redmine: issue id 1907, created on 2014-10-09 by Daniel.Van.Asseldonk, closed on 2014-10-09)