Apply editor.indent preference

Solves #6128
This commit is contained in:
Martino Facchin 2017-03-27 11:59:51 +02:00 committed by Cristian Maglie
parent bd49219109
commit 39da3f0867
1 changed files with 1 additions and 0 deletions

View File

@ -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"));