X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGFontChooser.java;h=abc6b71bb0bea4fc6115a438b146aa4a80bac292;hb=5dd663636925f44c6f964fa32fed2f584223b295;hp=f6a1e07f5389ff8f2f3b0ddc3ec84e4e9a1c466d;hpb=efc31b4a8d5cee63555586804a2b79c06bdb5a14;p=jalview.git diff --git a/src/jalview/jbgui/GFontChooser.java b/src/jalview/jbgui/GFontChooser.java index f6a1e07..abc6b71 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 @@ -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,13 @@ public class GFontChooser extends JPanel BorderLayout borderLayout1 = new BorderLayout(); BorderLayout borderLayout2 = new BorderLayout(); BorderLayout borderLayout3 = new BorderLayout(); - FlowLayout flowLayout1 = new FlowLayout(); - JButton defaultButton = new JButton(); + 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. */ public GFontChooser() @@ -75,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) { @@ -89,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) { @@ -100,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); @@ -116,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() { @@ -125,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() { @@ -136,14 +141,16 @@ 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.setVgap(5); - defaultButton.setText("Set as Default"); + 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() { public void actionPerformed(ActionEvent e) @@ -151,19 +158,40 @@ public class GFontChooser extends JPanel defaultButton_actionPerformed(e); } }); - this.add(jPanel1, null); - jPanel1.add(jLabel1, BorderLayout.WEST); + smoothFont.setFont(new java.awt.Font("Verdana", Font.PLAIN, 11)); + smoothFont.setOpaque(false); + 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"); + jPanel4.setOpaque(false); + jPanel4.setBounds(new Rectangle(24, 92, 259, 35)); + jPanel1.add(jLabel1, BorderLayout.WEST); jPanel1.add(fontName, BorderLayout.CENTER); - 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); - } + jPanel1.add(monospaced, java.awt.BorderLayout.EAST); + this.add(jPanel3, null); + 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); + } /** * DOCUMENT ME! @@ -218,4 +246,9 @@ public class GFontChooser extends JPanel public void defaultButton_actionPerformed(ActionEvent e) { } + + public void smoothFont_actionPerformed(ActionEvent e) + { + + } }