+ fixes #0001393: Allow the user to set desired font size in pixels (used by sketcher constraints) in preferences
Merge branch 'master' of ssh://git.code.sf.net/p/free-cad/code
+ issue #0001049: Sketcher preferences in preferences editor
Draft: Small fix in hatch patterns
Start: minor text correction