in progress
authorcmzmasek <cmzmasek@ca865154-3058-d1c3-3e42-d8f55a55bdbd>
Mon, 7 Jan 2013 04:24:20 +0000 (04:24 +0000)
committercmzmasek <cmzmasek@ca865154-3058-d1c3-3e42-d8f55a55bdbd>
Mon, 7 Jan 2013 04:24:20 +0000 (04:24 +0000)
forester/java/src/org/forester/archaeopteryx/TreeFontSet.java

index 80c7bd2..22d3950 100644 (file)
@@ -48,6 +48,10 @@ public final class TreeFontSet {
     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;
@@ -73,26 +77,48 @@ public final class TreeFontSet {
             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 );
@@ -112,6 +138,15 @@ public final class TreeFontSet {
         _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();
     }