Searched refs:fontScaling (Results 1 – 10 of 10) sorted by relevance
108 property real fontScaling: 1.0109 property real totalFontScaling: baseFontScaling * fontScaling150 fontScaling = Math.min(fontScaling + 0.05, maximumFontScaling);155 fontScaling = Math.max(fontScaling - 0.05, minimumFontScaling);204 fontScaling: fontScaling,288 fontScaling = settings.fontScaling !== undefined ? settings.fontScaling : fontScaling
78 onValueChanged: if(enabled) appSettings.fontScaling = value84 value = appSettings.fontScaling;89 … onFontScalingChanged: fontScalingChanger.value = appSettings.fontScaling;
70 fontScaling = 1.0; in Options()
71 double fontScaling; variable
204 fontScalingSpinBox->setValue(m_options->fontScaling);489 m_options->fontScaling = fontScalingSpinBox->value();
3015 p->setFontScaling(m_options->fontScaling); in setCurrentOptionsForPage()5186 m_options->fontScaling = settings.value("fontScaling", 1.0).toDouble(); in readSettings()5422 settings.setValue("fontScaling", m_options->fontScaling); in writeSettings()
68 // Prevents text from clipping vertically due to Android fontScaling
268 setB("fontScaling", fontScaling); in GlobalSettings()619 boolean fontScaling = false; field in GlobalSettings
5698 return g.fontScaling; in getBoolean()6932 g.fontScaling = value; in setBooleanPropertyTok()
3535 - if label is changed, one must use set fontscaling FALSE; label .... ; fontScaling TRUE;