From f17cc834cff45daab74387fba8b0070201b7082b Mon Sep 17 00:00:00 2001 From: Federico Fissore Date: Thu, 7 May 2015 20:40:50 +0200 Subject: [PATCH] Code folding is disabled by default. Fixes #3105 --- app/src/processing/app/Editor.java | 2 +- build/shared/lib/preferences.txt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/app/src/processing/app/Editor.java b/app/src/processing/app/Editor.java index 3074bd12a..91e72d938 100644 --- a/app/src/processing/app/Editor.java +++ b/app/src/processing/app/Editor.java @@ -961,7 +961,7 @@ public class Editor extends JFrame implements RunnerListener { textArea.requestFocusInWindow(); textArea.setMarkOccurrences(true); textArea.setMarginLineEnabled(false); - textArea.setCodeFoldingEnabled(PreferencesData.getBoolean("editor.codefolding")); + textArea.setCodeFoldingEnabled(PreferencesData.getBoolean("editor.code_folding")); textArea.setAntiAliasingEnabled(PreferencesData.getBoolean("editor.antialias")); textArea.setTabsEmulated(PreferencesData.getBoolean("editor.tabs.expand")); textArea.setTabSize(PreferencesData.getInteger("editor.tabs.size")); diff --git a/build/shared/lib/preferences.txt b/build/shared/lib/preferences.txt index 2f3e105d9..edb47ed03 100644 --- a/build/shared/lib/preferences.txt +++ b/build/shared/lib/preferences.txt @@ -87,7 +87,7 @@ editor.window.height.min = 290 #editor.window.height.min.windows = 530 # Enable code folding -editor.code_folding=true +editor.code_folding=false # font size for editor editor.font=Monospaced,plain,12