| 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 |