git://source.jalview.org / jalview.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 8004878)
calls repaint, not just refreshpanels
authoramwaterhouse <Andrew Waterhouse>
Thu, 7 Apr 2005 16:59:13 +0000 (16:59 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 7 Apr 2005 16:59:13 +0000 (16:59 +0000)
src/jalview/gui/FontChooser.java patch | blob | history

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