X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FFontChooser.java;h=33bb9deef94017c079294225c53b7b00746b8d4f;hb=04bb62b586382f183f08eb70131e7bf5f67cb47a;hp=98d3ecb7c15963256fb9eb8494d50859f5d6a377;hpb=5744abb4cd51c570f17eb440a17dcb3a2a93f8d2;p=jalview.git diff --git a/src/jalview/gui/FontChooser.java b/src/jalview/gui/FontChooser.java index 98d3ecb..33bb9de 100755 --- a/src/jalview/gui/FontChooser.java +++ b/src/jalview/gui/FontChooser.java @@ -50,7 +50,7 @@ public class FontChooser extends GFontChooser public FontChooser(TreePanel tp) { this.tp = tp; - oldFont = tp.getFont(); + oldFont = tp.getTreeFont(); defaultButton.setVisible(false); init(); } @@ -85,7 +85,7 @@ public class FontChooser extends GFontChooser fontName.addItem(fonts[i]); } - for (int i = 1; i < 31; i++) + for (int i = 1; i < 51; i++) { fontSize.addItem(i + ""); } @@ -139,7 +139,7 @@ public class FontChooser extends GFontChooser } else if(tp!=null) { - tp.setFont(oldFont); + tp.setTreeFont(oldFont); } fontName.setSelectedItem(oldFont.getName()); fontSize.setSelectedItem(oldFont.getSize() + ""); @@ -169,7 +169,7 @@ public class FontChooser extends GFontChooser } else if(tp != null) { - tp.setFont(newFont); + tp.setTreeFont(newFont); } }