Changeset 1831 for trunk/org.modelica.mdt.core/src

Timestamp:

10/08/13 10:28:34 (11 years ago)

Author:

adrpo

Message:

• mdt 0.7.31 + add preference for gdb max stack depth in Modelica preferences (default to -1 which means all the stack)

File:

• trunk/org.modelica.mdt.core/src/org/modelica/mdt/core/preferences/PreferenceManager.java (modified) (3 diffs)

trunk/org.modelica.mdt.core/src/org/modelica/mdt/core/preferences/PreferenceManager.java

@@ -86 +86 @@
     public static final String OMC_LIBRARIES = "OMCLibraries";
     public static final String PREVENT_DUPLICATE_CLASS_NAMES = "PreventDuplicateClassNames";
+    public static final String GDB_MAX_STACK_DEPTH = "OMCGDBMaxStackDepth";
     
     protected final static String EDITOR_MATCHING_BRACKETS="matchingBrackets";
@@ -138 +139 @@
         store.setDefault(OMC_COMMAND_LINE_PARAMETERS, "");
         store.setDefault(OMC_LIBRARIES, "Modelica");
+        store.setDefault(GDB_MAX_STACK_DEPTH, "-1");
         
         store.setDefault(EDITOR_MATCHING_BRACKETS, true);
@@ -288 +290 @@
          return getStore().getBoolean(PREVENT_DUPLICATE_CLASS_NAMES);
      }
+     
+     /**
+      * @return current setting for
+      */
+     public static String getOMCGDBMaxStackDepth() {
+         return getStore().getString(GDB_MAX_STACK_DEPTH);
+     }
+
 }