Merge pull request #13811 from hlorus/remove_measure_prefs

[Measure] Remove unused properties from measure preferences

src/Mod/Measure/App/Preferences.cpp

@@ -64,17 +64,7 @@ App::Color Preferences::defaultTextBackgroundColor()
     return fcColor;
 }
 
-double Preferences::defaultDistFactor()
-{
-    return getPreferenceGroup("Appearance")->GetFloat("DefaultDistFactor", 1.0);
-}
-
 int Preferences::defaultFontSize()
 {
     return getPreferenceGroup("Appearance")->GetInt("DefaultFontSize", 18);
 }
-
-bool Preferences::defaultMirror()
-{
-    return getPreferenceGroup("Appearance")->GetBool("DefaultMirror", false);
-}