private Font _small_italic_font;
private Font _large_italic_font;
private Font _base_font;
+ private Font _small_font_system;
+ private Font _large_font_system;
+ private Font _small_italic_font_system;
+ private Font _large_italic_font_system;
// Handy holders for font metrics
public FontMetrics _fm_small;
FontMetrics _fm_large;
setupFontMetrics();
}
}
+
+ void reset() {
+ _large_font_system = _large_font;
+
+ }
Font getBaseFont() {
return _base_font;
}
-
+
+
Font getLargeFont() {
- return _large_font;
+ return getLargeFontSystem();
+ }
+
+ private Font getLargeFontSystem() {
+ return _large_font_system;
}
Font getLargeItalicFont() {
return _large_italic_font;
}
+
+ Font getLargeItalicFontSystem() {
+ return _large_italic_font_system;
+ }
public Font getSmallFont() {
return _small_font;
}
+
+ public Font getSmallFontSystem() {
+ return _small_font_system;
+ }
Font getSmallItalicFont() {
return _small_italic_font;
}
+
+ Font getSmallItalicFontSystem() {
+ return _small_italic_font_system;
+ }
void increaseFontSize() {
_small_font = _small_font.deriveFont( _small_font.getSize() + FONT_SIZE_CHANGE_STEP );
_large_font = new Font( getBaseFont().getFontName(), getBaseFont().getStyle(), getBaseFont().getSize() );
_small_italic_font = new Font( getBaseFont().getFontName(), italic, small_size );
_large_italic_font = new Font( getBaseFont().getFontName(), italic, getBaseFont().getSize() );
+ _small_font_system = new Font( getBaseFont().getFontName(), getBaseFont().getStyle(), small_size );
+ _large_font_system = new Font( getBaseFont().getFontName(), getBaseFont().getStyle(), getBaseFont().getSize() );
+ _small_italic_font_system = new Font( getBaseFont().getFontName(), italic, small_size );
+ _large_italic_font_system = new Font( getBaseFont().getFontName(), italic, getBaseFont().getSize() );
+
+
+
+
+
setupFontMetrics();
}