Reload alignment
authoramwaterhouse <Andrew Waterhouse>
Wed, 8 Nov 2006 17:40:01 +0000 (17:40 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 8 Nov 2006 17:40:01 +0000 (17:40 +0000)
src/jalview/gui/AlignFrame.java

index 28cb157..637a266 100755 (executable)
@@ -573,6 +573,11 @@ public class AlignFrame extends GAlignFrame implements DropTargetListener
         viewport.alignment.deleteSequence(0);
       }
 
+      viewport.historyList.clear();
+      viewport.redoList.clear();
+
+      updateEditMenuBar();
+
       FileLoader loader = new FileLoader();
       loader.LoadFile(viewport, fileName, "File", currentFileFormat);