Smooth fonts

diff --git a/src/jalview/jbgui/GFontChooser.java b/src/jalview/jbgui/GFontChooser.java
index 548aba0..dda5aeb 100755 (executable)
--- a/src/jalview/jbgui/GFontChooser.java
+++ b/src/jalview/jbgui/GFontChooser.java
@@ -22,7 +22,9 @@ import java.awt.*;
 import java.awt.event.*;\r
 \r
 import javax.swing.*;\r
-\r
+import java.awt.BorderLayout;\r
+import java.awt.Font;\r
+import java.awt.Rectangle;\r
 \r
 /**\r
  * DOCUMENT ME!\r
@@ -46,10 +48,11 @@ public class GFontChooser extends JPanel
     BorderLayout borderLayout1 = new BorderLayout();\r
     BorderLayout borderLayout2 = new BorderLayout();\r
     BorderLayout borderLayout3 = new BorderLayout();\r
-    FlowLayout flowLayout1 = new FlowLayout();\r
-    protected JButton defaultButton = new JButton();\r
-   protected  JCheckBox monospaced = new JCheckBox();\r
+  protected JButton defaultButton = new JButton();\r
+   protected  JCheckBox smoothFont = new JCheckBox();\r
   BorderLayout borderLayout4 = new BorderLayout();\r
+ protected JCheckBox monospaced = new JCheckBox();\r
+  JPanel jPanel4 = new JPanel();\r
 \r
   /**\r
      * Creates a new GFontChooser object.\r
@@ -77,11 +80,11 @@ public class GFontChooser extends JPanel
         jLabel1.setHorizontalAlignment(SwingConstants.RIGHT);\r
         jLabel1.setText("Font: ");\r
         jLabel1.setVerticalTextPosition(javax.swing.SwingConstants.CENTER);\r
-        this.setLayout(flowLayout1);\r
+        this.setLayout(null);\r
         fontSize.setFont(new java.awt.Font("Verdana", 0, 11));\r
         fontSize.setOpaque(false);\r
         fontSize.setPreferredSize(new Dimension(50, 21));\r
-        fontSize.addActionListener(new java.awt.event.ActionListener()\r
+    fontSize.addActionListener(new java.awt.event.ActionListener()\r
             {\r
                 public void actionPerformed(ActionEvent e)\r
                 {\r
@@ -91,7 +94,7 @@ public class GFontChooser extends JPanel
         fontStyle.setFont(new java.awt.Font("Verdana", 0, 11));\r
         fontStyle.setOpaque(false);\r
         fontStyle.setPreferredSize(new Dimension(90, 21));\r
-        fontStyle.addActionListener(new java.awt.event.ActionListener()\r
+    fontStyle.addActionListener(new java.awt.event.ActionListener()\r
             {\r
                 public void actionPerformed(ActionEvent e)\r
                 {\r
@@ -102,11 +105,11 @@ public class GFontChooser extends JPanel
         jLabel2.setHorizontalAlignment(SwingConstants.RIGHT);\r
         jLabel2.setText("Size: ");\r
         jLabel2.setVerticalTextPosition(javax.swing.SwingConstants.CENTER);\r
-        jLabel3.setFont(new java.awt.Font("Verdana", 0, 11));\r
+    jLabel3.setFont(new java.awt.Font("Verdana", 0, 11));\r
         jLabel3.setHorizontalAlignment(SwingConstants.RIGHT);\r
         jLabel3.setText("Style: ");\r
         jLabel3.setVerticalTextPosition(javax.swing.SwingConstants.CENTER);\r
-        fontName.setFont(new java.awt.Font("Verdana", 0, 11));\r
+    fontName.setFont(new java.awt.Font("Verdana", 0, 11));\r
         fontName.setMaximumSize(new Dimension(32767, 32767));\r
         fontName.setMinimumSize(new Dimension(300, 21));\r
         fontName.setOpaque(false);\r
@@ -118,7 +121,7 @@ public class GFontChooser extends JPanel
                     fontName_actionPerformed(e);\r
                 }\r
             });\r
-        ok.setFont(new java.awt.Font("Verdana", 0, 11));\r
+    ok.setFont(new java.awt.Font("Verdana", 0, 11));\r
         ok.setText("OK");\r
         ok.addActionListener(new java.awt.event.ActionListener()\r
             {\r
@@ -127,7 +130,7 @@ public class GFontChooser extends JPanel
                     ok_actionPerformed(e);\r
                 }\r
             });\r
-        cancel.setFont(new java.awt.Font("Verdana", 0, 11));\r
+    cancel.setFont(new java.awt.Font("Verdana", 0, 11));\r
         cancel.setText("Cancel");\r
         cancel.addActionListener(new java.awt.event.ActionListener()\r
             {\r
@@ -138,14 +141,14 @@ public class GFontChooser extends JPanel
             });\r
         this.setBackground(Color.white);\r
         jPanel1.setOpaque(false);\r
-        jPanel1.setLayout(borderLayout1);\r
+    jPanel1.setBounds(new Rectangle(5, 6, 308, 23));\r
+    jPanel1.setLayout(borderLayout1);\r
         jPanel2.setOpaque(false);\r
-        jPanel2.setLayout(borderLayout3);\r
+    jPanel2.setBounds(new Rectangle(5, 37, 128, 21));\r
+    jPanel2.setLayout(borderLayout3);\r
         jPanel3.setOpaque(false);\r
-        jPanel3.setLayout(borderLayout2);\r
-        flowLayout1.setAlignment(FlowLayout.CENTER);\r
-    flowLayout1.setHgap(1);\r
-    flowLayout1.setVgap(5);\r
+    jPanel3.setBounds(new Rectangle(174, 38, 134, 21));\r
+    jPanel3.setLayout(borderLayout2);\r
     defaultButton.setFont(new java.awt.Font("Verdana", Font.PLAIN, 11));\r
     defaultButton.setText("Set as Default");\r
         defaultButton.addActionListener(new ActionListener()\r
@@ -155,24 +158,40 @@ public class GFontChooser extends JPanel
                     defaultButton_actionPerformed(e);\r
                 }\r
             });\r
+    smoothFont.setFont(new java.awt.Font("Verdana", Font.PLAIN, 11));\r
+    smoothFont.setOpaque(false);\r
+    smoothFont.setToolTipText("");\r
+    smoothFont.setText("Anti-alias Fonts (Slower to render)");\r
+    smoothFont.setBounds(new Rectangle(41, 65, 223, 23));\r
+    smoothFont.addActionListener(new ActionListener()\r
+    {\r
+      public void actionPerformed(ActionEvent e)\r
+      {\r
+        smoothFont_actionPerformed(e);\r
+      }\r
+    });\r
     monospaced.setEnabled(false);\r
     monospaced.setFont(new java.awt.Font("Verdana", Font.PLAIN, 11));\r
     monospaced.setOpaque(false);\r
     monospaced.setToolTipText("Monospaced fonts are faster to render");\r
     monospaced.setText("Monospaced");\r
-    this.add(jPanel1, null);\r
-        jPanel1.add(jLabel1, BorderLayout.WEST);\r
+    jPanel4.setOpaque(false);\r
+    jPanel4.setBounds(new Rectangle(24, 92, 259, 35));\r
+    jPanel1.add(jLabel1, BorderLayout.WEST);\r
         jPanel1.add(fontName, BorderLayout.CENTER);\r
-    this.add(monospaced);\r
+    jPanel1.add(monospaced, java.awt.BorderLayout.EAST);\r
     this.add(jPanel3, null);\r
-        this.add(jPanel2, null);\r
-        jPanel2.add(jLabel3, BorderLayout.WEST);\r
-        jPanel2.add(fontStyle, BorderLayout.CENTER);\r
-    jPanel3.add(jLabel2, BorderLayout.WEST);\r
-        jPanel3.add(fontSize, BorderLayout.CENTER);\r
-        this.add(ok, null);\r
-        this.add(cancel, null);\r
-        this.add(defaultButton);\r
+    this.add(jPanel2, null);\r
+    jPanel2.add(fontSize, java.awt.BorderLayout.CENTER);\r
+    jPanel2.add(jLabel2, java.awt.BorderLayout.WEST);\r
+    jPanel4.add(defaultButton);\r
+    jPanel4.add(ok);\r
+    jPanel4.add(cancel);\r
+    this.add(smoothFont);\r
+    this.add(jPanel4);\r
+    jPanel3.add(jLabel3, java.awt.BorderLayout.WEST);\r
+    jPanel3.add(fontStyle, java.awt.BorderLayout.CENTER);\r
+    this.add(jPanel1, null);\r
   }\r
 \r
     /**\r
@@ -228,4 +247,9 @@ public class GFontChooser extends JPanel
     public void defaultButton_actionPerformed(ActionEvent e)\r
     {\r
     }\r
+\r
+    public void smoothFont_actionPerformed(ActionEvent e)\r
+    {\r
+\r
+    }\r
 }\r