Files
create/src
0penBrain fece0f2dfc [Sketcher] Move general settings widget enable/disable logic in TaskSketcherGeneral so ...
... all options are freely accessible in the preferences editor ...
 ... eg. no need to check 'Show Grid' to customize grid size or snap
 Also remove the sparse automatical saving to preferences from sketcher Task pane ...
 ... (some settings were saved, some not)
2020-05-27 19:25:47 +02:00
..
2020-05-25 15:34:43 +02:00
2020-05-11 10:55:47 +02:00
2020-05-25 13:33:58 +02:00
2020-02-15 19:08:46 +01:00
2020-05-25 15:34:43 +02:00