- public Font getSmallFontSystem() {
- return _small_font_system;
- }
-
- void decreaseFontSize( final int min ) {
+ void decreaseFontSize( final int min, final boolean decreased_size_by_system ) {
+ if ( decreased_size_by_system && !isDecreasedSizeBySystem() ) {
+ _small_font_memory = _small_font;
+ _large_font_memory = _large_font;
+ _small_italic_font_memory = _small_italic_font;
+ _large_italic_font_memory = _large_italic_font;
+ }
+ setDecreasedSizeBySystem( decreased_size_by_system );