X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FFontChooser.java;fp=src%2Fjalview%2Fappletgui%2FFontChooser.java;h=8b74e324d8d14b343c398a739183b4f4b288c062;hb=8946f41687f4c822ac8d15ee8551f23f156735c4;hp=443ebceafffe130b69023898846b5f54fec24c8c;hpb=f27f7be4c32780de615e2678f11a5e80702c5e25;p=jalview.git diff --git a/src/jalview/appletgui/FontChooser.java b/src/jalview/appletgui/FontChooser.java index 443ebce..8b74e32 100644 --- a/src/jalview/appletgui/FontChooser.java +++ b/src/jalview/appletgui/FontChooser.java @@ -31,9 +31,9 @@ import java.awt.FlowLayout; import java.awt.Font; import java.awt.FontMetrics; import java.awt.Frame; +import java.awt.GraphicsEnvironment; import java.awt.Label; import java.awt.Panel; -import java.awt.Toolkit; import java.awt.event.ActionEvent; import java.awt.event.ActionListener; import java.awt.event.ItemEvent; @@ -144,7 +144,9 @@ public class FontChooser extends Panel implements ItemListener */ void init() { - String fonts[] = Toolkit.getDefaultToolkit().getFontList(); + // String fonts[] = Toolkit.getDefaultToolkit().getFontList(); + String fonts[] = GraphicsEnvironment.getLocalGraphicsEnvironment() + .getAvailableFontFamilyNames(); for (int i = 0; i < fonts.length; i++) { fontName.addItem(fonts[i]);