X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGFontChooser.java;h=548aba054751a50df76996278614f986b5e8cca1;hb=06118a7ac64edb37e3d741f9a768dba9ebb949fc;hp=4ca3b424f22e79382627320069ee7854455dad6e;hpb=588042b69abf8e60bcc950b24c283933c7dd422f;p=jalview.git

diff --git a/src/jalview/jbgui/GFontChooser.java b/src/jalview/jbgui/GFontChooser.java
index 4ca3b42..548aba0 100755
--- a/src/jalview/jbgui/GFontChooser.java
+++ b/src/jalview/jbgui/GFontChooser.java
@@ -1,6 +1,6 @@
 /*
 * Jalview - A Sequence Alignment Editor and Viewer
-* Copyright (C) 2005 AM Waterhouse, J Procter, G Barton, M Clamp, S Searle
+* Copyright (C) 2006 AM Waterhouse, J Procter, G Barton, M Clamp, S Searle
 *
 * This program is free software; you can redistribute it and/or
 * modify it under the terms of the GNU General Public License
@@ -24,7 +24,14 @@ import java.awt.event.*;
 import javax.swing.*;
 
 
-public class GFontChooser extends JPanel {
+/**
+ * DOCUMENT ME!
+ *
+ * @author $author$
+ * @version $Revision$
+ */
+public class GFontChooser extends JPanel
+{
     JLabel jLabel1 = new JLabel();
     protected JComboBox fontSize = new JComboBox();
     protected JComboBox fontStyle = new JComboBox();
@@ -40,17 +47,32 @@ public class GFontChooser extends JPanel {
     BorderLayout borderLayout2 = new BorderLayout();
     BorderLayout borderLayout3 = new BorderLayout();
     FlowLayout flowLayout1 = new FlowLayout();
-    JButton defaultButton = new JButton();
+    protected JButton defaultButton = new JButton();
+   protected  JCheckBox monospaced = new JCheckBox();
+  BorderLayout borderLayout4 = new BorderLayout();
 
-    public GFontChooser() {
-        try {
+  /**
+     * Creates a new GFontChooser object.
+     */
+    public GFontChooser()
+    {
+        try
+        {
             jbInit();
-        } catch (Exception e) {
+        }
+        catch (Exception e)
+        {
             e.printStackTrace();
         }
     }
 
-    private void jbInit() throws Exception {
+    /**
+     * DOCUMENT ME!
+     *
+     * @throws Exception DOCUMENT ME!
+     */
+    private void jbInit() throws Exception
+    {
         jLabel1.setFont(new java.awt.Font("Verdana", 0, 11));
         jLabel1.setHorizontalAlignment(SwingConstants.RIGHT);
         jLabel1.setText("Font: ");
@@ -59,16 +81,20 @@ public class GFontChooser extends JPanel {
         fontSize.setFont(new java.awt.Font("Verdana", 0, 11));
         fontSize.setOpaque(false);
         fontSize.setPreferredSize(new Dimension(50, 21));
-        fontSize.addActionListener(new java.awt.event.ActionListener() {
-                public void actionPerformed(ActionEvent e) {
+        fontSize.addActionListener(new java.awt.event.ActionListener()
+            {
+                public void actionPerformed(ActionEvent e)
+                {
                     fontSize_actionPerformed(e);
                 }
             });
         fontStyle.setFont(new java.awt.Font("Verdana", 0, 11));
         fontStyle.setOpaque(false);
         fontStyle.setPreferredSize(new Dimension(90, 21));
-        fontStyle.addActionListener(new java.awt.event.ActionListener() {
-                public void actionPerformed(ActionEvent e) {
+        fontStyle.addActionListener(new java.awt.event.ActionListener()
+            {
+                public void actionPerformed(ActionEvent e)
+                {
                     fontStyle_actionPerformed(e);
                 }
             });
@@ -85,22 +111,28 @@ public class GFontChooser extends JPanel {
         fontName.setMinimumSize(new Dimension(300, 21));
         fontName.setOpaque(false);
         fontName.setPreferredSize(new Dimension(180, 21));
-        fontName.addActionListener(new java.awt.event.ActionListener() {
-                public void actionPerformed(ActionEvent e) {
+        fontName.addActionListener(new java.awt.event.ActionListener()
+            {
+                public void actionPerformed(ActionEvent e)
+                {
                     fontName_actionPerformed(e);
                 }
             });
         ok.setFont(new java.awt.Font("Verdana", 0, 11));
         ok.setText("OK");
-        ok.addActionListener(new java.awt.event.ActionListener() {
-                public void actionPerformed(ActionEvent e) {
+        ok.addActionListener(new java.awt.event.ActionListener()
+            {
+                public void actionPerformed(ActionEvent e)
+                {
                     ok_actionPerformed(e);
                 }
             });
         cancel.setFont(new java.awt.Font("Verdana", 0, 11));
         cancel.setText("Cancel");
-        cancel.addActionListener(new java.awt.event.ActionListener() {
-                public void actionPerformed(ActionEvent e) {
+        cancel.addActionListener(new java.awt.event.ActionListener()
+            {
+                public void actionPerformed(ActionEvent e)
+                {
                     cancel_actionPerformed(e);
                 }
             });
@@ -112,42 +144,88 @@ public class GFontChooser extends JPanel {
         jPanel3.setOpaque(false);
         jPanel3.setLayout(borderLayout2);
         flowLayout1.setAlignment(FlowLayout.CENTER);
-        flowLayout1.setVgap(5);
-        defaultButton.setText("Set as Default");
-        defaultButton.addActionListener(new ActionListener() {
-                public void actionPerformed(ActionEvent e) {
+    flowLayout1.setHgap(1);
+    flowLayout1.setVgap(5);
+    defaultButton.setFont(new java.awt.Font("Verdana", Font.PLAIN, 11));
+    defaultButton.setText("Set as Default");
+        defaultButton.addActionListener(new ActionListener()
+            {
+                public void actionPerformed(ActionEvent e)
+                {
                     defaultButton_actionPerformed(e);
                 }
             });
-        this.add(jPanel1, null);
+    monospaced.setEnabled(false);
+    monospaced.setFont(new java.awt.Font("Verdana", Font.PLAIN, 11));
+    monospaced.setOpaque(false);
+    monospaced.setToolTipText("Monospaced fonts are faster to render");
+    monospaced.setText("Monospaced");
+    this.add(jPanel1, null);
         jPanel1.add(jLabel1, BorderLayout.WEST);
         jPanel1.add(fontName, BorderLayout.CENTER);
-        this.add(jPanel3, null);
+    this.add(monospaced);
+    this.add(jPanel3, null);
         this.add(jPanel2, null);
         jPanel2.add(jLabel3, BorderLayout.WEST);
         jPanel2.add(fontStyle, BorderLayout.CENTER);
-        jPanel3.add(jLabel2, BorderLayout.WEST);
+    jPanel3.add(jLabel2, BorderLayout.WEST);
         jPanel3.add(fontSize, BorderLayout.CENTER);
         this.add(ok, null);
         this.add(cancel, null);
         this.add(defaultButton);
-    }
+  }
 
-    protected void ok_actionPerformed(ActionEvent e) {
+    /**
+     * DOCUMENT ME!
+     *
+     * @param e DOCUMENT ME!
+     */
+    protected void ok_actionPerformed(ActionEvent e)
+    {
     }
 
-    protected void cancel_actionPerformed(ActionEvent e) {
+    /**
+     * DOCUMENT ME!
+     *
+     * @param e DOCUMENT ME!
+     */
+    protected void cancel_actionPerformed(ActionEvent e)
+    {
     }
 
-    protected void fontName_actionPerformed(ActionEvent e) {
+    /**
+     * DOCUMENT ME!
+     *
+     * @param e DOCUMENT ME!
+     */
+    protected void fontName_actionPerformed(ActionEvent e)
+    {
     }
 
-    protected void fontSize_actionPerformed(ActionEvent e) {
+    /**
+     * DOCUMENT ME!
+     *
+     * @param e DOCUMENT ME!
+     */
+    protected void fontSize_actionPerformed(ActionEvent e)
+    {
     }
 
-    protected void fontStyle_actionPerformed(ActionEvent e) {
+    /**
+     * DOCUMENT ME!
+     *
+     * @param e DOCUMENT ME!
+     */
+    protected void fontStyle_actionPerformed(ActionEvent e)
+    {
     }
 
-    public void defaultButton_actionPerformed(ActionEvent e) {
+    /**
+     * DOCUMENT ME!
+     *
+     * @param e DOCUMENT ME!
+     */
+    public void defaultButton_actionPerformed(ActionEvent e)
+    {
     }
 }