From 39da3f08673f6ae91f818906899931a1d69f39c3 Mon Sep 17 00:00:00 2001 From: Martino Facchin Date: Mon, 27 Mar 2017 11:59:51 +0200 Subject: [PATCH] Apply editor.indent preference Solves #6128 --- app/src/processing/app/EditorTab.java | 1 + 1 file changed, 1 insertion(+) diff --git a/app/src/processing/app/EditorTab.java b/app/src/processing/app/EditorTab.java index c2fdbb9b4..875c5446a 100644 --- a/app/src/processing/app/EditorTab.java +++ b/app/src/processing/app/EditorTab.java @@ -147,6 +147,7 @@ public class EditorTab extends JPanel implements SketchFile.TextStorage { textArea.setMarkOccurrences(PreferencesData.getBoolean("editor.advanced")); textArea.setMarginLineEnabled(false); textArea.setCodeFoldingEnabled(PreferencesData.getBoolean("editor.code_folding")); + textArea.setAutoIndentEnabled(PreferencesData.getBoolean("editor.indent")); textArea.setAntiAliasingEnabled(PreferencesData.getBoolean("editor.antialias")); textArea.setTabsEmulated(PreferencesData.getBoolean("editor.tabs.expand")); textArea.setTabSize(PreferencesData.getInteger("editor.tabs.size"));