From 0598d38a0431eaa621af0e383544bd11c4d1f044 Mon Sep 17 00:00:00 2001 From: Federico Fissore Date: Wed, 29 Apr 2015 11:05:15 +0200 Subject: [PATCH] Code folding was not visible when line numbers were disabled. Fixed --- app/src/processing/app/Editor.java | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/app/src/processing/app/Editor.java b/app/src/processing/app/Editor.java index 44691510d..3074bd12a 100644 --- a/app/src/processing/app/Editor.java +++ b/app/src/processing/app/Editor.java @@ -452,9 +452,8 @@ public class Editor extends JFrame implements RunnerListener { saveMenuItem.setEnabled(!external); saveAsMenuItem.setEnabled(!external); - scrollPane.setLineNumbersEnabled(PreferencesData.getBoolean("editor.linenumbers")); - textarea.setCodeFoldingEnabled(PreferencesData.getBoolean("editor.code_folding")); + scrollPane.setLineNumbersEnabled(PreferencesData.getBoolean("editor.linenumbers")); if (external) { // disable line highlight and turn off the caret when disabling