ui: font size limits

Introduced font size limits and prevent ui refresh beyond those limits. Should prevent UI from freezing up with unlocked mouse wheel.
This commit is contained in:
Manuel Dobusch
2016-03-02 16:22:16 +01:00
parent 8fa1763402
commit 612e12b35f
5 changed files with 62 additions and 6 deletions
+30
View File
@@ -87,6 +87,36 @@ void ApplicationSettings::setColorSchemePath(const std::string& colorSchemePath)
setValue<std::string>("application/color_scheme", colorSchemePath);
}
int ApplicationSettings::getFontSizeMax() const
{
return getValue<int>("application/font_size_max", 24);
}
void ApplicationSettings::setFontSizeMax(const int fontSizeMax)
{
setValue<int>("application/font_size_max", fontSizeMax);
}
int ApplicationSettings::getFontSizeMin() const
{
return getValue<int>("application/font_size_min", 4);
}
void ApplicationSettings::setFontSizeMin(const int fontSizeMin)
{
setValue<int>("application/font_size_min", fontSizeMin);
}
int ApplicationSettings::getFontSizeStd() const
{
return getValue<int>("application/font_size_std", 12);
}
void ApplicationSettings::setFontSizeStd(const int fontSizeStd)
{
setValue<int>("application/font_size_std", fontSizeStd);
}
int ApplicationSettings::getCodeTabWidth() const
{
return getValue<int>("code/tab_width", 4);