public static final String SHOW_AUTOCALC_ABOVE = "SHOW_AUTOCALC_ABOVE";
- public static final String HIDE_INTRONS = "HIDE_INTRONS";
-
private static final int MIN_FONT_SIZE = 1;
private static final int MAX_FONT_SIZE = 30;
dasTab.add(dasSource, BorderLayout.CENTER);
wsPrefs = new WsPreferences();
wsTab.add(wsPrefs, BorderLayout.CENTER);
- int width = 500, height = 470;
+ int width = 500, height = 450;
if (new jalview.util.Platform().isAMac())
{
width = 570;
- height = 500;
+ height = 480;
}
Desktop.addInternalFrame(frame,
idItalics.setSelected(Cache.getDefault("ID_ITALICS", true));
wrap.setSelected(Cache.getDefault("WRAP_ALIGNMENT", false));
- hideIntrons.setSelected(Cache.getDefault(HIDE_INTRONS, true));
gapSymbolCB.addItem("-");
gapSymbolCB.addItem(".");
Cache.applicationProperties.setProperty("WRAP_ALIGNMENT",
Boolean.toString(wrap.isSelected()));
- Cache.applicationProperties.setProperty(HIDE_INTRONS,
- Boolean.toString(hideIntrons.isSelected()));
Cache.applicationProperties.setProperty("STARTUP_FILE",
startupFileTextfield.getText());