rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2025-02-07 01:54:26 +01:00
Code Issues Releases Activity

Code folding is disabled by default. Fixes #3105

Browse Source
This commit is contained in:
Federico Fissore 2015-05-07 20:40:50 +02:00
parent 5bc6cee118
commit f17cc834cf
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
app/src/processing/app/Editor.java
View File

@ -961,7 +961,7 @@ public class Editor extends JFrame implements RunnerListener {
textArea.requestFocusInWindow(); textArea.requestFocusInWindow();
textArea.setMarkOccurrences(true); textArea.setMarkOccurrences(true);
textArea.setMarginLineEnabled(false); textArea.setMarginLineEnabled(false);
textArea.setCodeFoldingEnabled(PreferencesData.getBoolean("editor.codefolding")); textArea.setCodeFoldingEnabled(PreferencesData.getBoolean("editor.code_folding"));
textArea.setAntiAliasingEnabled(PreferencesData.getBoolean("editor.antialias")); textArea.setAntiAliasingEnabled(PreferencesData.getBoolean("editor.antialias"));
textArea.setTabsEmulated(PreferencesData.getBoolean("editor.tabs.expand")); textArea.setTabsEmulated(PreferencesData.getBoolean("editor.tabs.expand"));
textArea.setTabSize(PreferencesData.getInteger("editor.tabs.size")); textArea.setTabSize(PreferencesData.getInteger("editor.tabs.size"));

2
build/shared/lib/preferences.txt
View File

@ -87,7 +87,7 @@ editor.window.height.min = 290
#editor.window.height.min.windows = 530 #editor.window.height.min.windows = 530
# Enable code folding # Enable code folding
editor.code_folding=true editor.code_folding=false
# font size for editor # font size for editor
editor.font=Monospaced,plain,12 editor.font=Monospaced,plain,12