From: amwaterhouse Date: Wed, 9 Mar 2005 18:37:09 +0000 (+0000) Subject: font chooser added X-Git-Tag: Release_2_0~611 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=6ab8366d05c5e884329e746b5df1fa169661ec4b;hp=6e9da2b0461e97e7d72711a61c9c8a982c548822;p=jalview.git font chooser added --- diff --git a/src/jalview/gui/FontChooser.java b/src/jalview/gui/FontChooser.java new file mode 100755 index 0000000..782d2d6 --- /dev/null +++ b/src/jalview/gui/FontChooser.java @@ -0,0 +1,59 @@ +package jalview.gui; + +import jalview.jbgui.GFontChooser; +import jalview.gui.*; +import java.awt.*; +import java.awt.event.*; +import javax.swing.*; +import javax.swing.event.*; + + +public class FontChooser extends GFontChooser +{ + AlignmentPanel ap; + Font oldFont; + + public FontChooser(AlignmentPanel ap) + { + this.ap = ap; + + String fonts[] = java.awt.GraphicsEnvironment.getLocalGraphicsEnvironment().getAvailableFontFamilyNames(); + for(int i=0; i