+ fixes #0001112: Changing sketch size that contains arcs after padding will create an artifact on bottom side
+ fix typo, fixes #0001310: Amend tooltip for Sketcher symmetry constraint
+ issue #0000953: No scroll bar on preferences dialog window
+ issue #0000953: No scroll bar on preferences dialog window
+ fixes #0001309: Revise Mouse Dialog Edit->Preferences->Display->CAD Navigation->[Mouse]
+ fixes #0001039: Add the property PropertyBoolList
+ move sketcher related settings into own page
Start: Fixes in css - issue #1017
Merge branch 'master' of ssh://git.code.sf.net/p/free-cad/code
+ 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
Arch: Don't create a drawing view on section plane creation

This was very heavy and often caused unnecessary computations. Adding
a new Drawing view is now done manually, with the Draft to Drawing tool
Spreadsheet: small bugfixes
+ fixes #0001339: Crash when giving sketch with external geometry a new support (face) after the original support was deleted
Merge branch 'master' of ssh://git.code.sf.net/p/free-cad/code
+ fixes #0001131: Crash when trying to edit sketch
+ fix minor issues in NSIS script