git://source.jalview.org / jalview.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 8e67558)
calls fontChanged
authoramwaterhouse <Andrew Waterhouse>
Mon, 18 Apr 2005 08:03:56 +0000 (08:03 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 18 Apr 2005 08:03:56 +0000 (08:03 +0000)
src/jalview/gui/FontChooser.java patch | blob | history

diff --git a/src/jalview/gui/FontChooser.java b/src/jalview/gui/FontChooser.java
index e04c177..2783ae9 100755 (executable)
--- a/src/jalview/gui/FontChooser.java
+++ b/src/jalview/gui/FontChooser.java
@@ -65,8 +65,7 @@ public class FontChooser extends GFontChooser
                             Integer.parseInt(fontSize.getSelectedItem().toString())\r
                             );\r
     ap.av.setFont(newFont);\r
-    ap.annotationPanel.adjustPanelHeight();\r
-    ap.repaint();\r
+    ap.fontChanged();\r
   }\r
 \r
   protected void fontName_actionPerformed(ActionEvent e)\r