#endif
Config_PropManager::registerProp(SKETCH_TAB_NAME, "dimension_font", "Dimension font",
- Config_Prop::String, "Arial");
+ Config_Prop::String, "Times-bold");
std::ostringstream aStream;
aStream << SketcherPrs_Tools::getDefaultTextHeight();
+
Config_PropManager::registerProp(SKETCH_TAB_NAME, "dimension_value_size",
"Dimension value size", Config_Prop::Integer, aStream.str());
aStream.str("");
theDimAspect->SetExtensionSize(
(theTextSize / aViewerScale + SketcherPrs_Tools::getArrowSize()) / 2.0);
}
+ theDimAspect->TextAspect()->SetFont(Config_PropManager::string(SKETCH_TAB_NAME,
+ "dimension_font").c_str());
theDimAspect->SetArrowTailSize(theDimAspect->ArrowAspect()->Length());
// The value of vertical aligment is sometimes changed