javadoc for jalview_properties tags

[jalview.git] / src / jalview / gui / VamsasApplication.java

diff --git a/src/jalview/gui/VamsasApplication.java b/src/jalview/gui/VamsasApplication.java
index 65212a6..50670a0 100644 (file)
--- a/src/jalview/gui/VamsasApplication.java
+++ b/src/jalview/gui/VamsasApplication.java
@@ -283,7 +283,7 @@ public class VamsasApplication
     Cache.log.debug("Jalview updating from sesion document ..");
     ensureJvVamsas();
     VamsasAppDatastore vds = new VamsasAppDatastore(cdoc, vobj2jv, jv2vobj,
-            baseProvEntry());
+            baseProvEntry(), alRedoState);
     vds.updateToJalview();
     Cache.log.debug(".. finished updating from sesion document.");
 
@@ -295,6 +295,7 @@ public class VamsasApplication
     {
       jv2vobj = new IdentityHashMap();
       vobj2jv = new Hashtable();
+      alRedoState = new Hashtable();
     }
   }
 
@@ -304,12 +305,12 @@ public class VamsasApplication
   IdentityHashMap jv2vobj = null;
 
   Hashtable vobj2jv = null;
-
+  Hashtable alRedoState = null;
   public void updateVamsasDocument(IClientDocument doc)
   {
     ensureJvVamsas();
     VamsasAppDatastore vds = new VamsasAppDatastore(doc, vobj2jv, jv2vobj,
-            baseProvEntry());
+            baseProvEntry(), alRedoState);
     // wander through frames
     JInternalFrame[] frames = Desktop.desktop.getAllFrames();