From d5e858c7a3a5cc821651a94433f35003921c9edd Mon Sep 17 00:00:00 2001
From: Jim Procter <jprocter@Jims-MacBook-Pro-2.local>
Date: Wed, 2 Jul 2014 15:51:00 -0700
Subject: [PATCH] revalidate appears to have gone away ?? (java 1.7 upgrade
 perhaps ?)

---
 src/jalview/appletgui/AlignmentPanel.java |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/jalview/appletgui/AlignmentPanel.java b/src/jalview/appletgui/AlignmentPanel.java
index a677eff..02ad0cd 100644
--- a/src/jalview/appletgui/AlignmentPanel.java
+++ b/src/jalview/appletgui/AlignmentPanel.java
@@ -559,7 +559,7 @@ public class AlignmentPanel extends Panel implements AdjustmentListener,
     fontChanged(); // This is so that the scalePanel is resized correctly
 
     validate();
-    sequenceHolderPanel.revalidate();
+    sequenceHolderPanel.validate();
     repaint();
 
   }
-- 
1.7.10.2