{
fileName = file;
currentFileFormat = format;
- reload.setEnabled(true);
+ if (!fileName.startsWith("http"))
+ reload.setEnabled(true);
}
void addKeyListener()
*/
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;
}
protected void deleteGroups_actionPerformed(ActionEvent e)
{
viewport.alignment.deleteAllGroups();
- viewport.sequenceColours.clear();
+ viewport.sequenceColours = null;
viewport.setSelectionGroup(null);
PaintRefresher.Refresh(this, viewport.getSequenceSetId());
alignPanel.repaint();