void (int fontSize) { if (fontSize < MIN_FONT_SIZE) fontSize = MIN_FONT_SIZE; if (fontSize > myMaxFontSize) fontSize = myMaxFontSize; if (fontSize == myFontSize) return; myFontSize = fontSize; reinitFontsAndSettings(); }