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.");
{
jv2vobj = new IdentityHashMap();
vobj2jv = new Hashtable();
+ alRedoState = new Hashtable();
}
}
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();