From d5912abc02b0fd206d9705cf13a0383f09d3d951 Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Thu, 23 Nov 2006 15:32:42 +0000 Subject: [PATCH] If alignment is closed, then undo performed in visible window --- src/jalview/appletgui/AlignFrame.java | 5 +++-- src/jalview/gui/AlignFrame.java | 8 +++++--- 2 files changed, 8 insertions(+), 5 deletions(-) diff --git a/src/jalview/appletgui/AlignFrame.java b/src/jalview/appletgui/AlignFrame.java index ced0622..df5b1a6 100755 --- a/src/jalview/appletgui/AlignFrame.java +++ b/src/jalview/appletgui/AlignFrame.java @@ -842,11 +842,12 @@ public void itemStateChanged(ItemEvent evt) } } } - if (originalSource == null && al!=null) + if (originalSource == null) { //The original view is closed, we must validate //the current view against the closed view first - PaintRefresher.validateSequences(al, viewport.alignment); + if (al != null) + PaintRefresher.validateSequences(al, viewport.alignment); originalSource = viewport; } diff --git a/src/jalview/gui/AlignFrame.java b/src/jalview/gui/AlignFrame.java index cc9ad28..11570ed 100755 --- a/src/jalview/gui/AlignFrame.java +++ b/src/jalview/gui/AlignFrame.java @@ -1016,7 +1016,7 @@ public class AlignFrame extends GAlignFrame implements DropTargetListener AlignmentI al = editCommand.getAlignment(); Vector comps = (Vector) PaintRefresher.components .get(viewport.getSequenceSetId()); - System.out.println(comps.size()); + for (int i = 0; i < comps.size(); i++) { if (comps.elementAt(i) instanceof AlignmentPanel) @@ -1028,11 +1028,13 @@ public class AlignFrame extends GAlignFrame implements DropTargetListener } } } - if (originalSource == null && al!=null) + if (originalSource == null) { //The original view is closed, we must validate //the current view against the closed view first - PaintRefresher.validateSequences(al, viewport.alignment); + if (al != null) + PaintRefresher.validateSequences(al, viewport.alignment); + originalSource = viewport; } -- 1.7.10.2