- Config_PropManager::registerProp(SKETCH_TAB_NAME, "dimension_font", "Dimension font",
- 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("");
- aStream.clear();
- aStream << SketcherPrs_Tools::getDefaultArrowSize();
- Config_PropManager::registerProp(SKETCH_TAB_NAME, "dimension_arrow_size",
- "Dimension arrow size", Config_Prop::Integer, aStream.str());