From 385af41edfa1484a5871dc19e391cb310504ec63 Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Thu, 9 Nov 2006 18:12:26 +0000 Subject: [PATCH] Smooth fonts --- src/jalview/jbgui/GFontChooser.java | 80 +++++++++++++++++++++++------------ 1 file changed, 52 insertions(+), 28 deletions(-) diff --git a/src/jalview/jbgui/GFontChooser.java b/src/jalview/jbgui/GFontChooser.java index 548aba0..dda5aeb 100755 --- a/src/jalview/jbgui/GFontChooser.java +++ b/src/jalview/jbgui/GFontChooser.java @@ -22,7 +22,9 @@ import java.awt.*; import java.awt.event.*; import javax.swing.*; - +import java.awt.BorderLayout; +import java.awt.Font; +import java.awt.Rectangle; /** * DOCUMENT ME! @@ -46,10 +48,11 @@ public class GFontChooser extends JPanel BorderLayout borderLayout1 = new BorderLayout(); BorderLayout borderLayout2 = new BorderLayout(); BorderLayout borderLayout3 = new BorderLayout(); - FlowLayout flowLayout1 = new FlowLayout(); - protected JButton defaultButton = new JButton(); - protected JCheckBox monospaced = new JCheckBox(); + protected JButton defaultButton = new JButton(); + protected JCheckBox smoothFont = new JCheckBox(); BorderLayout borderLayout4 = new BorderLayout(); + protected JCheckBox monospaced = new JCheckBox(); + JPanel jPanel4 = new JPanel(); /** * Creates a new GFontChooser object. @@ -77,11 +80,11 @@ public class GFontChooser extends JPanel jLabel1.setHorizontalAlignment(SwingConstants.RIGHT); jLabel1.setText("Font: "); jLabel1.setVerticalTextPosition(javax.swing.SwingConstants.CENTER); - this.setLayout(flowLayout1); + this.setLayout(null); 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() + fontSize.addActionListener(new java.awt.event.ActionListener() { public void actionPerformed(ActionEvent e) { @@ -91,7 +94,7 @@ public class GFontChooser extends JPanel 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() + fontStyle.addActionListener(new java.awt.event.ActionListener() { public void actionPerformed(ActionEvent e) { @@ -102,11 +105,11 @@ public class GFontChooser extends JPanel jLabel2.setHorizontalAlignment(SwingConstants.RIGHT); jLabel2.setText("Size: "); jLabel2.setVerticalTextPosition(javax.swing.SwingConstants.CENTER); - jLabel3.setFont(new java.awt.Font("Verdana", 0, 11)); + jLabel3.setFont(new java.awt.Font("Verdana", 0, 11)); jLabel3.setHorizontalAlignment(SwingConstants.RIGHT); jLabel3.setText("Style: "); jLabel3.setVerticalTextPosition(javax.swing.SwingConstants.CENTER); - fontName.setFont(new java.awt.Font("Verdana", 0, 11)); + fontName.setFont(new java.awt.Font("Verdana", 0, 11)); fontName.setMaximumSize(new Dimension(32767, 32767)); fontName.setMinimumSize(new Dimension(300, 21)); fontName.setOpaque(false); @@ -118,7 +121,7 @@ public class GFontChooser extends JPanel fontName_actionPerformed(e); } }); - ok.setFont(new java.awt.Font("Verdana", 0, 11)); + ok.setFont(new java.awt.Font("Verdana", 0, 11)); ok.setText("OK"); ok.addActionListener(new java.awt.event.ActionListener() { @@ -127,7 +130,7 @@ public class GFontChooser extends JPanel ok_actionPerformed(e); } }); - cancel.setFont(new java.awt.Font("Verdana", 0, 11)); + cancel.setFont(new java.awt.Font("Verdana", 0, 11)); cancel.setText("Cancel"); cancel.addActionListener(new java.awt.event.ActionListener() { @@ -138,14 +141,14 @@ public class GFontChooser extends JPanel }); this.setBackground(Color.white); jPanel1.setOpaque(false); - jPanel1.setLayout(borderLayout1); + jPanel1.setBounds(new Rectangle(5, 6, 308, 23)); + jPanel1.setLayout(borderLayout1); jPanel2.setOpaque(false); - jPanel2.setLayout(borderLayout3); + jPanel2.setBounds(new Rectangle(5, 37, 128, 21)); + jPanel2.setLayout(borderLayout3); jPanel3.setOpaque(false); - jPanel3.setLayout(borderLayout2); - flowLayout1.setAlignment(FlowLayout.CENTER); - flowLayout1.setHgap(1); - flowLayout1.setVgap(5); + jPanel3.setBounds(new Rectangle(174, 38, 134, 21)); + jPanel3.setLayout(borderLayout2); defaultButton.setFont(new java.awt.Font("Verdana", Font.PLAIN, 11)); defaultButton.setText("Set as Default"); defaultButton.addActionListener(new ActionListener() @@ -155,24 +158,40 @@ public class GFontChooser extends JPanel defaultButton_actionPerformed(e); } }); + smoothFont.setFont(new java.awt.Font("Verdana", Font.PLAIN, 11)); + smoothFont.setOpaque(false); + smoothFont.setToolTipText(""); + smoothFont.setText("Anti-alias Fonts (Slower to render)"); + smoothFont.setBounds(new Rectangle(41, 65, 223, 23)); + smoothFont.addActionListener(new ActionListener() + { + public void actionPerformed(ActionEvent e) + { + smoothFont_actionPerformed(e); + } + }); 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); + jPanel4.setOpaque(false); + jPanel4.setBounds(new Rectangle(24, 92, 259, 35)); + jPanel1.add(jLabel1, BorderLayout.WEST); jPanel1.add(fontName, BorderLayout.CENTER); - this.add(monospaced); + jPanel1.add(monospaced, java.awt.BorderLayout.EAST); 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(fontSize, BorderLayout.CENTER); - this.add(ok, null); - this.add(cancel, null); - this.add(defaultButton); + this.add(jPanel2, null); + jPanel2.add(fontSize, java.awt.BorderLayout.CENTER); + jPanel2.add(jLabel2, java.awt.BorderLayout.WEST); + jPanel4.add(defaultButton); + jPanel4.add(ok); + jPanel4.add(cancel); + this.add(smoothFont); + this.add(jPanel4); + jPanel3.add(jLabel3, java.awt.BorderLayout.WEST); + jPanel3.add(fontStyle, java.awt.BorderLayout.CENTER); + this.add(jPanel1, null); } /** @@ -228,4 +247,9 @@ public class GFontChooser extends JPanel public void defaultButton_actionPerformed(ActionEvent e) { } + + public void smoothFont_actionPerformed(ActionEvent e) + { + + } } -- 1.7.10.2