X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fbin%2FLauncher.java;fp=src%2Fjalview%2Fbin%2FLauncher.java;h=1ea17d69d7e7ab29ba627492f13a18c54ff40be0;hb=4b4f8f64b569ca51b56062fa34be5e5d8bebc1cc;hp=e13f2dd619268cb8aa8f8b82668ab0a692a7143a;hpb=c644d68815914fde56a86d66e2d6f310eef63b51;p=jalview.git diff --git a/src/jalview/bin/Launcher.java b/src/jalview/bin/Launcher.java index e13f2dd..1ea17d6 100644 --- a/src/jalview/bin/Launcher.java +++ b/src/jalview/bin/Launcher.java @@ -29,6 +29,7 @@ import java.util.ArrayList; import java.util.List; import jalview.util.ChannelProperties; +import jalview.util.LaunchUtils; /** * A Launcher class for Jalview. This class is used to launch Jalview from the @@ -106,6 +107,23 @@ public class Launcher } } + // use saved preferences if no cmdline args + boolean useCustomisedSettings = LaunchUtils + .getBooleanUserPreference(MemorySetting.CUSTOMISED_SETTINGS); + if (useCustomisedSettings) + { + if (jvmmempc == null) + { + jvmmempc = LaunchUtils + .getUserPreference(MemorySetting.MEMORY_JVMMEMPC); + } + if (jvmmemmax == null) + { + jvmmemmax = LaunchUtils + .getUserPreference(MemorySetting.MEMORY_JVMMEMMAX); + } + } + // add memory setting if not specified boolean memSet = false; boolean dockIcon = false; @@ -228,7 +246,6 @@ public class Launcher e.printStackTrace(); } // System.exit(0); - } }