X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGFontChooser.java;h=12e1740734f9d12a149d5bb2c635f82a5acb8fe7;hb=4ea6a00274e0a209a7dbec074f04a21ec1a80b28;hp=e0e71bb2128dcea904618426207182a943eefafa;hpb=153dd62dc91da13ae732600e6ea55ddbe15eab39;p=jalview.git diff --git a/src/jalview/jbgui/GFontChooser.java b/src/jalview/jbgui/GFontChooser.java index e0e71bb..12e1740 100755 --- a/src/jalview/jbgui/GFontChooser.java +++ b/src/jalview/jbgui/GFontChooser.java @@ -1,13 +1,13 @@ /* - * Jalview - A Sequence Alignment Editor and Viewer (Version 2.6) - * Copyright (C) 2010 J Procter, AM Waterhouse, G Barton, M Clamp, S Searle + * Jalview - A Sequence Alignment Editor and Viewer (Version 2.8) + * Copyright (C) 2012 J Procter, AM Waterhouse, LM Lui, J Engelhardt, G Barton, M Clamp, S Searle * * This file is part of Jalview. * * Jalview is free software: you can redistribute it and/or * modify it under the terms of the GNU General Public License * as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. - * + * * Jalview is distributed in the hope that it will be useful, but * WITHOUT ANY WARRANTY; without even the implied warranty * of MERCHANTABILITY or FITNESS FOR A PARTICULAR @@ -17,6 +17,8 @@ */ package jalview.jbgui; +import jalview.gui.JvSwingUtils; + import java.awt.*; import java.awt.event.*; import javax.swing.*; @@ -162,7 +164,7 @@ public class GFontChooser extends JPanel jPanel3.setOpaque(false); jPanel3.setBounds(new Rectangle(174, 38, 134, 21)); jPanel3.setLayout(borderLayout2); - defaultButton.setFont(new java.awt.Font("Verdana", Font.PLAIN, 11)); + defaultButton.setFont(JvSwingUtils.getLabelFont()); defaultButton.setText("Set as Default"); defaultButton.addActionListener(new ActionListener() { @@ -171,7 +173,7 @@ public class GFontChooser extends JPanel defaultButton_actionPerformed(e); } }); - smoothFont.setFont(new java.awt.Font("Verdana", Font.PLAIN, 11)); + smoothFont.setFont(JvSwingUtils.getLabelFont()); smoothFont.setOpaque(false); smoothFont.setText("Anti-alias Fonts (Slower to render)"); smoothFont.setBounds(new Rectangle(41, 65, 223, 23)); @@ -183,7 +185,7 @@ public class GFontChooser extends JPanel } }); monospaced.setEnabled(false); - monospaced.setFont(new java.awt.Font("Verdana", Font.PLAIN, 11)); + monospaced.setFont(JvSwingUtils.getLabelFont()); monospaced.setOpaque(false); monospaced.setToolTipText("Monospaced fonts are faster to render"); monospaced.setText("Monospaced");