X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fjalview%2Fgui%2FPreferences.java;h=ec9ea342e4745436c4de25a1643ea944a7a32ace;hb=3bff9f93376444b36ca6b69d30193e10ea3c07ab;hp=92f1f5b0d8fb28349f55951d12c23ccd01321f5b;hpb=6d02241d48fdb8111b3987b95e1289f9d75d0871;p=jalview.git diff --git a/src/jalview/gui/Preferences.java b/src/jalview/gui/Preferences.java index 92f1f5b..ec9ea34 100755 --- a/src/jalview/gui/Preferences.java +++ b/src/jalview/gui/Preferences.java @@ -81,8 +81,15 @@ public class Preferences extends GPreferences dasSource = new DasSourceBrowser(); dasPanel.add(dasSource, BorderLayout.CENTER); - Desktop.addInternalFrame(frame, "Preferences", 490, 405); - frame.setMinimumSize(new Dimension(490,395)); + int width = 500, height = 420; + if(System.getProperty("os.name").startsWith("Mac")) + { + width = 570; + height = 460; + } + + Desktop.addInternalFrame(frame, "Preferences", width, height); + frame.setMinimumSize(new Dimension(width, height)); seqLimit.setSelected( Cache.getDefault("SHOW_JVSUFFIX", true)); fullScreen.setSelected( Cache.getDefault("SHOW_FULLSCREEN", false)); @@ -128,6 +135,8 @@ public class Preferences extends GPreferences smoothFont.setSelected(Cache.getDefault("ANTI_ALIAS", false)); + wrap.setSelected(Cache.getDefault("WRAP_ALIGNMENT", false)); + gapSymbolCB.addItem("-"); gapSymbolCB.addItem("."); @@ -218,6 +227,8 @@ public class Preferences extends GPreferences Cache.applicationProperties.setProperty("ANTI_ALIAS", Boolean.toString(smoothFont.isSelected())); + Cache.applicationProperties.setProperty("WRAP_ALIGNMENT", Boolean.toString(wrap.isSelected())); + Cache.applicationProperties.setProperty("STARTUP_FILE", startupFileTextfield.getText()); Cache.applicationProperties.setProperty("SHOW_STARTUP_FILE", Boolean.toString(startupCheckbox.isSelected()));