X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGFontChooser.java;h=38bddef14f63738a1fe5ac381756a4824c3fc9b5;hb=52fd681e0f239e20df19fd7560d4b999104ba222;hp=0aeeb345fd690b3863a7667538ec55fb5a777035;hpb=bc185771d48512e3c5c529c2192944346cc1d368;p=jalview.git

diff --git a/src/jalview/jbgui/GFontChooser.java b/src/jalview/jbgui/GFontChooser.java
index 0aeeb34..38bddef 100755
--- a/src/jalview/jbgui/GFontChooser.java
+++ b/src/jalview/jbgui/GFontChooser.java
@@ -48,8 +48,10 @@ public class GFontChooser extends JPanel
     BorderLayout borderLayout3 = new BorderLayout();
     FlowLayout flowLayout1 = new FlowLayout();
     protected JButton defaultButton = new JButton();
+   protected  JCheckBox monospaced = new JCheckBox();
+  BorderLayout borderLayout4 = new BorderLayout();
 
-    /**
+  /**
      * Creates a new GFontChooser object.
      */
     public GFontChooser()
@@ -142,8 +144,10 @@ public class GFontChooser extends JPanel
         jPanel3.setOpaque(false);
         jPanel3.setLayout(borderLayout2);
         flowLayout1.setAlignment(FlowLayout.CENTER);
-        flowLayout1.setVgap(5);
-        defaultButton.setText("Set as Default");
+    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)
@@ -151,19 +155,25 @@ public class GFontChooser extends JPanel
                     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);
-    }
+  }
 
     /**
      * DOCUMENT ME!