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.changeColour(JSONFile.getColourScheme());
+ af.setMenusForViewport();
+
try
{
af.setMaximum(jalview.bin.Cache.getDefault("SHOW_FULLSCREEN",
}
}
+
/**
* DOCUMENT ME!
*