public void save_actionPerformed(ActionEvent e)
{
- if(fileName==null || currentFileFormat==null)
+ if(fileName==null
+ || currentFileFormat==null
+ || fileName.startsWith("http")
+ )
saveAs_actionPerformed(null);
else
saveAlignment(fileName, currentFileFormat);
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();