We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 2981059 commit 0598d38Copy full SHA for 0598d38
app/src/processing/app/Editor.java
@@ -452,9 +452,8 @@ protected void applyPreferences() {
452
saveMenuItem.setEnabled(!external);
453
saveAsMenuItem.setEnabled(!external);
454
455
- scrollPane.setLineNumbersEnabled(PreferencesData.getBoolean("editor.linenumbers"));
456
-
457
textarea.setCodeFoldingEnabled(PreferencesData.getBoolean("editor.code_folding"));
+ scrollPane.setLineNumbersEnabled(PreferencesData.getBoolean("editor.linenumbers"));
458
459
if (external) {
460
// disable line highlight and turn off the caret when disabling
0 commit comments