wmayer
|
06239e9a57
|
+ fixes #0001049: Sketcher preferences in preferences editor
|
2014-03-14 19:39:11 +01:00 |
|
wmayer
|
bea4c44240
|
+ sketcher settings
|
2014-03-14 15:29:00 +01:00 |
|
wmayer
|
0513cf06d3
|
+ issue #0001049: Sketcher preferences in preferences editor
|
2014-03-09 21:44:37 +01:00 |
|
wmayer
|
b68bb653c8
|
+ fixes #0001393: Allow the user to set desired font size in pixels (used by sketcher constraints) in preferences
|
2014-03-09 18:29:26 +01:00 |
|
wmayer
|
2aaa63c5eb
|
+ move sketcher related settings into own page
|
2014-03-09 18:07:46 +01:00 |
|