//For sequence removal and addition, we need to fire\r
//the property change event FROM the viewport where the\r
//original alignment was altered\r
+ AlignmentI al = null;\r
if (command instanceof EditCommand)\r
{\r
EditCommand editCommand = (EditCommand) command;\r
- AlignmentI al = editCommand.getAlignment();\r
+ al = editCommand.getAlignment();\r
Vector comps = (Vector) PaintRefresher.components\r
.get(viewport.getSequenceSetId());\r
for (int i = 0; i < comps.size(); i++)\r
}\r
}\r
}\r
- if (originalSource == null)\r
- {\r
- //The original view is closed, we must validate\r
- //the current view against the closed view first\r
- if (al != null)\r
- PaintRefresher.validateSequences(al, viewport.alignment);\r
- originalSource = viewport;\r
- }\r
+ }\r
\r
+ if (originalSource == null)\r
+ {\r
+ //The original view is closed, we must validate\r
+ //the current view against the closed view first\r
+ if (al != null)\r
+ PaintRefresher.validateSequences(al, viewport.alignment);\r
+\r
+ originalSource = viewport;\r
}\r
\r
+\r
return originalSource;\r
}\r
\r
*/
protected void redoMenuItem_actionPerformed(ActionEvent e)
{
+ if(viewport.redoList.size()<1)
+ return;
+
CommandI command = (CommandI) viewport.redoList.pop();
viewport.historyList.push(command);
command.doCommand();
//For sequence removal and addition, we need to fire
//the property change event FROM the viewport where the
//original alignment was altered
+ AlignmentI al=null;
if (command instanceof EditCommand)
{
EditCommand editCommand = (EditCommand) command;
- AlignmentI al = editCommand.getAlignment();
+ al = editCommand.getAlignment();
Vector comps = (Vector) PaintRefresher.components
.get(viewport.getSequenceSetId());
}
}
}
- if (originalSource == null)
- {
- //The original view is closed, we must validate
- //the current view against the closed view first
- if (al != null)
- PaintRefresher.validateSequences(al, viewport.alignment);
+ }
- originalSource = viewport;
- }
+ if (originalSource == null)
+ {
+ //The original view is closed, we must validate
+ //the current view against the closed view first
+ if (al != null)
+ PaintRefresher.validateSequences(al, viewport.alignment);
+ originalSource = viewport;
}
-
return originalSource;
}