From 839949d19e1ba78e5d5d6e58fc827f417592d589 Mon Sep 17 00:00:00 2001 From: jprocter Date: Sun, 1 Jul 2012 16:58:21 +0100 Subject: [PATCH] ensure all annotation dependent rendering gets refreshed --- src/jalview/appletgui/AnnotationPanel.java | 1 + src/jalview/gui/AnnotationPanel.java | 1 + 2 files changed, 2 insertions(+) diff --git a/src/jalview/appletgui/AnnotationPanel.java b/src/jalview/appletgui/AnnotationPanel.java index 7e6e3a1..492683d 100755 --- a/src/jalview/appletgui/AnnotationPanel.java +++ b/src/jalview/appletgui/AnnotationPanel.java @@ -255,6 +255,7 @@ public class AnnotationPanel extends Panel implements AwtRenderPanelI, Adjustmen aa[activeRow].validateRangeAndDisplay(); adjustPanelHeight(); + ap.alignmentChanged(); repaint(); return; diff --git a/src/jalview/gui/AnnotationPanel.java b/src/jalview/gui/AnnotationPanel.java index 03fbf28..c8784a5 100755 --- a/src/jalview/gui/AnnotationPanel.java +++ b/src/jalview/gui/AnnotationPanel.java @@ -363,6 +363,7 @@ public class AnnotationPanel extends JPanel implements AwtRenderPanelI, aa[activeRow].validateRangeAndDisplay(); adjustPanelHeight(); + ap.alignmentChanged(); repaint(); return; -- 1.7.10.2