diff --git a/com.microsoft.java.debug.core/src/main/java/com/microsoft/java/debug/core/DebugSettings.java b/com.microsoft.java.debug.core/src/main/java/com/microsoft/java/debug/core/DebugSettings.java index 1c69f88e2..5933517de 100644 --- a/com.microsoft.java.debug.core/src/main/java/com/microsoft/java/debug/core/DebugSettings.java +++ b/com.microsoft.java.debug.core/src/main/java/com/microsoft/java/debug/core/DebugSettings.java @@ -22,6 +22,7 @@ public final class DebugSettings { private static DebugSettings current = new DebugSettings(); public int maxStringLength = 0; + public int numericPrecision = 0; public boolean showStaticVariables = false; public boolean showQualifiedNames = false; public boolean showHex = false; diff --git a/com.microsoft.java.debug.core/src/main/java/com/microsoft/java/debug/core/adapter/variables/VariableUtils.java b/com.microsoft.java.debug.core/src/main/java/com/microsoft/java/debug/core/adapter/variables/VariableUtils.java index 6362d0cee..1f95b1154 100644 --- a/com.microsoft.java.debug.core/src/main/java/com/microsoft/java/debug/core/adapter/variables/VariableUtils.java +++ b/com.microsoft.java.debug.core/src/main/java/com/microsoft/java/debug/core/adapter/variables/VariableUtils.java @@ -248,6 +248,10 @@ public static void applyFormatterOptions(Map defaultOptions, boo if (DebugSettings.getCurrent().maxStringLength > 0) { options.put(StringObjectFormatter.MAX_STRING_LENGTH_OPTION, DebugSettings.getCurrent().maxStringLength); } + + if (DebugSettings.getCurrent().numericPrecision > 0) { + options.put(NumericFormatter.NUMERIC_PRECISION_OPTION, DebugSettings.getCurrent().numericPrecision); + } } private VariableUtils() {