import jalview.datamodel.Alignment;
import jalview.io.FormatAdapter;
import jalview.io.IdentifyFile;
+import jalview.io.JSONFile;
import jalview.io.JalviewFileChooser;
import jalview.io.JalviewFileView;
import jalview.jbgui.GCutAndPasteTransfer;
af.statusBar.setText(MessageManager
.getString("label.successfully_pasted_alignment_file"));
+ af.setShowSeqFeatures(JSONFile.isSeqFeaturesEnabled());
- af.setShowSeqFeatures(true);
- af.changeColour(Desktop.getCurrentGlobalColourScheme());
+ af.changeColour(JSONFile.getColourScheme());
af.setMenusForViewport();
try
}
}
+
/**
* DOCUMENT ME!
*