X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGFontChooser.java;h=548aba054751a50df76996278614f986b5e8cca1;hb=06118a7ac64edb37e3d741f9a768dba9ebb949fc;hp=f6a1e07f5389ff8f2f3b0ddc3ec84e4e9a1c466d;hpb=efc31b4a8d5cee63555586804a2b79c06bdb5a14;p=jalview.git diff --git a/src/jalview/jbgui/GFontChooser.java b/src/jalview/jbgui/GFontChooser.java index f6a1e07..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 @@ -47,9 +47,11 @@ 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(); - /** + /** * 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!