X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=bundles%2Forg.simantics.scl.ui%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fui%2Fconsole%2FPreferences.java;fp=bundles%2Forg.simantics.scl.ui%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fui%2Fconsole%2FPreferences.java;h=6b733146b8105254571afebaa7d232d6da0c316d;hp=1d55d1fe3139558be1a334c9c513cb9fa4187021;hb=501ad95ad5ca980ef4c6e65af1451a0d7b63cddc;hpb=6a8b529bc5ceff5f1455968c03e65d140ffb6e39 diff --git a/bundles/org.simantics.scl.ui/src/org/simantics/scl/ui/console/Preferences.java b/bundles/org.simantics.scl.ui/src/org/simantics/scl/ui/console/Preferences.java index 1d55d1fe3..6b733146b 100644 --- a/bundles/org.simantics.scl.ui/src/org/simantics/scl/ui/console/Preferences.java +++ b/bundles/org.simantics.scl.ui/src/org/simantics/scl/ui/console/Preferences.java @@ -12,6 +12,39 @@ import java.util.TreeSet; */ public final class Preferences { + /** + * Console buffer high and low water marks + */ + public static final String CONSOLE_LIMIT_CONSOLE_OUTPUT = "SCLConsole.limitConsoleOutput"; //$NON-NLS-1$ + + public static final String CONSOLE_LOW_WATER_MARK = "SCLConsole.lowWaterMark"; //$NON-NLS-1$ + + public static final String CONSOLE_HIGH_WATER_MARK = "SCLConsole.highWaterMark"; //$NON-NLS-1$ + + /** + * By default console output buffer size is limited. + */ + public static final boolean CONSOLE_LIMIT_CONSOLE_OUTPUT_DEFAULT = true; + + /** + * The console low water mark default value {@value #CONSOLE_LOW_WATER_MARK_DEFAULT_VALUE}. + */ + public static final int CONSOLE_LOW_WATER_MARK_DEFAULT_VALUE = 5000000; + + /** + * The console low water mark default value {@value #CONSOLE_HIGH_WATER_MARK_DEFAULT_VALUE}. + */ + public static final int CONSOLE_HIGH_WATER_MARK_DEFAULT_VALUE = highWatermarkForLow(CONSOLE_LOW_WATER_MARK_DEFAULT_VALUE); + + /** + * The console low water mark maximum value {@value #CONSOLE_LOW_WATER_MARK_MAX_VALUE}. + */ + public static final int CONSOLE_LOW_WATER_MARK_MAX_VALUE = 10000000; + + public static int highWatermarkForLow(int low) { + return low + 80*100; + } + public static final String COMMAND_HISTORY = "COMMAND_HISTORY"; //$NON-NLS-1$ private static final String DELIMITER = "¤¤¤¤"; //$NON-NLS-1$