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)