2 // FORESTER -- software libraries and applications
3 // for evolutionary biology research and applications.
5 // Copyright (C) 2008-2009 Christian M. Zmasek
6 // Copyright (C) 2008-2009 Burnham Institute for Medical Research
7 // Copyright (C) 2000-2001 Washington University School of Medicine
8 // and Howard Hughes Medical Institute
9 // Copyright (C) 2003-2007 Ethalinda K.S. Cannon
10 // All rights reserved
12 // This library is free software; you can redistribute it and/or
13 // modify it under the terms of the GNU Lesser General Public
14 // License as published by the Free Software Foundation; either
15 // version 2.1 of the License, or (at your option) any later version.
17 // This library is distributed in the hope that it will be useful,
18 // but WITHOUT ANY WARRANTY; without even the implied warranty of
19 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
20 // Lesser General Public License for more details.
22 // You should have received a copy of the GNU Lesser General Public
23 // License along with this library; if not, write to the Free Software
24 // Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA
26 // Contact: phylosoft @ gmail . com
27 // WWW: https://sites.google.com/site/cmzmasek/home/software/forester
29 package org.forester.archaeopteryx;
32 import java.awt.FontMetrics;
35 * Maintains the fonts for drawing a tree.
37 public final class TreeFontSet {
39 final static float SMALL_FONTS_BASE = 8;
40 private final static String DEFAULT_FONT = "Verdana";
41 private final static float FONT_SIZE_CHANGE_STEP = 1.0f;
42 static final int BOLD_AND_ITALIC = Font.BOLD + Font.ITALIC;
43 // the owner (needed to get font metrics)
44 private final MainPanel _owner;
46 private Font _small_font;
47 private Font _large_font;
48 private Font _small_italic_font;
49 private Font _large_italic_font;
50 private Font _base_font;
51 private Font _small_font_system;
52 private Font _large_font_system;
53 private Font _small_italic_font_system;
54 private Font _large_italic_font_system;
55 // Handy holders for font metrics
56 public FontMetrics _fm_small;
57 FontMetrics _fm_large;
58 FontMetrics _fm_small_italic;
59 FontMetrics _fm_small_italic_bold;
60 FontMetrics _fm_large_italic;
61 FontMetrics _fm_large_italic_bold;
62 // hold font measurements
63 int _small_max_descent = 0;
64 int _small_max_ascent = 0;
65 private final int _min;
66 private final int _max;
68 TreeFontSet( final MainPanel owner ) {
70 _min = _owner.getConfiguration().getMinBaseFontSize();
71 _max = _owner.getConfiguration().getMinBaseFontSize();
72 setBaseFont( new Font( DEFAULT_FONT, Font.PLAIN, 10 ) );
75 public Font getSmallFont() {
79 public Font getSmallFontSystem() {
80 return _small_font_system;
83 void decreaseFontSize( final int min ) {
84 if ( _large_font.getSize() >= min ) {
85 _small_font = _small_font.deriveFont( _small_font.getSize() - FONT_SIZE_CHANGE_STEP );
86 _large_font = _large_font.deriveFont( _large_font.getSize() - FONT_SIZE_CHANGE_STEP );
87 _small_italic_font = _small_italic_font.deriveFont( _small_italic_font.getSize() - FONT_SIZE_CHANGE_STEP );
88 _large_italic_font = _large_italic_font.deriveFont( _large_italic_font.getSize() - FONT_SIZE_CHANGE_STEP );
101 Font getLargeItalicFont() {
102 return _large_italic_font;
105 Font getLargeItalicFontSystem() {
106 return _large_italic_font_system;
109 Font getSmallItalicFont() {
110 return _small_italic_font;
113 Font getSmallItalicFontSystem() {
114 return _small_italic_font_system;
117 void increaseFontSize() {
118 _small_font = _small_font.deriveFont( _small_font.getSize() + FONT_SIZE_CHANGE_STEP );
119 _large_font = _large_font.deriveFont( _large_font.getSize() + FONT_SIZE_CHANGE_STEP );
120 _small_italic_font = _small_italic_font.deriveFont( _small_italic_font.getSize() + FONT_SIZE_CHANGE_STEP );
121 _large_italic_font = _large_italic_font.deriveFont( _large_italic_font.getSize() + FONT_SIZE_CHANGE_STEP );
126 _small_font = _small_font.deriveFont( 12f );
127 _large_font = _large_font.deriveFont( 14f );
128 _small_italic_font = _small_italic_font.deriveFont( 12f );
129 _large_italic_font = _large_italic_font.deriveFont( 14f );
134 _small_font = _small_font.deriveFont( 8f );
135 _large_font = _large_font.deriveFont( 10f );
136 _small_italic_font = _small_italic_font.deriveFont( 8f );
137 _large_italic_font = _large_italic_font.deriveFont( 10f );
142 _large_font_system = _large_font;
145 void setBaseFont( final Font base_font ) {
146 _base_font = base_font;
151 _small_font = _small_font.deriveFont( SMALL_FONTS_BASE - 1 );
152 _large_font = _large_font.deriveFont( SMALL_FONTS_BASE );
153 _small_italic_font = _small_italic_font.deriveFont( SMALL_FONTS_BASE - 1 );
154 _large_italic_font = _large_italic_font.deriveFont( SMALL_FONTS_BASE );
158 void superTinyFonts() {
159 _small_font = _small_font.deriveFont( 2f );
160 _large_font = _large_font.deriveFont( 3f );
161 _small_italic_font = _small_italic_font.deriveFont( 2f );
162 _large_italic_font = _large_italic_font.deriveFont( 3f );
167 _small_font = _small_font.deriveFont( 5f );
168 _large_font = _large_font.deriveFont( 6f );
169 _small_italic_font = _small_italic_font.deriveFont( 5f );
170 _large_italic_font = _large_italic_font.deriveFont( 6f );
174 private Font getLargeFontSystem() {
175 return _large_font_system;
178 private void intializeFonts() {
179 final int small_size = getBaseFont().getSize() - 1;
180 int italic = Font.ITALIC;
181 if ( getBaseFont().getStyle() == Font.BOLD ) {
182 italic = italic + Font.BOLD;
184 _small_font = new Font( getBaseFont().getFontName(), getBaseFont().getStyle(), small_size );
185 _large_font = new Font( getBaseFont().getFontName(), getBaseFont().getStyle(), getBaseFont().getSize() );
186 _small_italic_font = new Font( getBaseFont().getFontName(), italic, small_size );
187 _large_italic_font = new Font( getBaseFont().getFontName(), italic, getBaseFont().getSize() );
188 _small_font_system = new Font( getBaseFont().getFontName(), getBaseFont().getStyle(), small_size );
189 _large_font_system = new Font( getBaseFont().getFontName(), getBaseFont().getStyle(), getBaseFont().getSize() );
190 _small_italic_font_system = new Font( getBaseFont().getFontName(), italic, small_size );
191 _large_italic_font_system = new Font( getBaseFont().getFontName(), italic, getBaseFont().getSize() );
195 private void setupFontMetrics() {
196 _fm_small = _owner.getFontMetrics( _small_font );
197 _fm_large = _owner.getFontMetrics( _large_font );
198 _fm_small_italic = _owner.getFontMetrics( _small_italic_font );
199 _fm_small_italic_bold = _owner.getFontMetrics( _small_italic_font.deriveFont( Font.BOLD ) );
200 _fm_large_italic = _owner.getFontMetrics( _large_italic_font );
201 _fm_large_italic_bold = _owner.getFontMetrics( _large_italic_font.deriveFont( Font.BOLD ) );
202 _small_max_descent = _fm_small.getMaxDescent();
203 _small_max_ascent = _fm_small.getMaxAscent() + 1;