Use propertyListener for alignment edits
[jalview.git] / src / jalview / gui / AlignmentPanel.java
index ae61383..19f50d0 100755 (executable)
@@ -171,7 +171,7 @@ public class AlignmentPanel extends GAlignmentPanel
         }\r
 \r
         if(overviewPanel!=null)\r
-          overviewPanel.updateOverviewImage();\r
+          overviewPanel.setBoxPosition();\r
 \r
         repaint();\r
     }\r