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
|