+ issue #0001049: Sketcher preferences in preferences editor