From caada426504131ec90d6ebf4521c95cfd1691a22 Mon Sep 17 00:00:00 2001 From: Stef Tervelde Date: Sat, 14 Dec 2024 09:58:23 +0100 Subject: [PATCH] Fixed another regression --- .../preprocessor/src/main/java/processing/app/Preferences.java | 3 +++ java/src/processing/mode/java/preproc/PdePreprocessor.java | 2 +- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/java/preprocessor/src/main/java/processing/app/Preferences.java b/java/preprocessor/src/main/java/processing/app/Preferences.java index ec7f54da6..7ce476fde 100644 --- a/java/preprocessor/src/main/java/processing/app/Preferences.java +++ b/java/preprocessor/src/main/java/processing/app/Preferences.java @@ -61,4 +61,7 @@ public class Preferences { String value = get(attribute); //, null); return Boolean.parseBoolean(value); } + static public int getInteger(String attribute /*, int defaultValue*/) { + return Integer.parseInt(get(attribute)); + } } diff --git a/java/src/processing/mode/java/preproc/PdePreprocessor.java b/java/src/processing/mode/java/preproc/PdePreprocessor.java index 939583b76..821726816 100644 --- a/java/src/processing/mode/java/preproc/PdePreprocessor.java +++ b/java/src/processing/mode/java/preproc/PdePreprocessor.java @@ -412,7 +412,7 @@ public class PdePreprocessor { */ public PdePreprocessor build() { final int effectiveTabSize = - tabSize.orElseGet(() -> 4); + tabSize.orElseGet(() -> Preferences.getInteger("editor.tabs.size")); final boolean effectiveIsTesting = isTesting.orElse(false);