| Author |
Committer |
Branch |
Timestamp |
Parent |
| wmayer |
wmayer |
master |
2014-03-09 18:29:26 |
master 2aaa63c5 |
|
Affected Issues |
0001393: Allow the user to set desired font size in pixels (used by skether constraints) in preferences. |
|
Changeset |
+ fixes 0001393: Allow the user to set desired font size in pixels (used by sketcher constraints) in preferences |
| mod - src/Mod/Sketcher/Gui/SketcherSettings.cpp |
Diff
File
|
| mod - src/Mod/Sketcher/Gui/SketcherSettings.ui |
Diff
File
|
| mod - src/Mod/Sketcher/Gui/ViewProviderSketch.cpp |
Diff
File
|