Add 'Code Folding' preferences and fix Font-Size changes

Author: ricardojlrufino

app/src/processing/app/Editor.java

@@ -464,6 +464,10 @@ protected void applyPreferences() {
     saveAsMenuItem.setEnabled(!external);
 
     scrollPane.setLineNumbersEnabled(Preferences.getBoolean("editor.linenumbers"));
+        
+    textarea.setTheme(Preferences.get("editor.syntax_theme"));
+    
+    textarea.setCodeFoldingEnabled(Preferences.getBoolean("editor.code_folding"));
 
     if (external) {
       // disable line highlight and turn off the caret when disabling
@@ -492,8 +496,7 @@ protected void applyPreferences() {
     //sketchbook.rebuildMenus();
     // For 0126, moved into Base, which will notify all editors.
     //base.rebuildMenusAsync();
-    
-    textarea.setTheme(Preferences.get("editor.syntax_theme"));
+
   }
 
 

app/src/processing/app/Preferences.java

@@ -222,6 +222,7 @@ public String toString() {
   JCheckBox verboseCompilationBox;
   JCheckBox verboseUploadBox;
   JCheckBox displayLineNumbersBox;
+  JCheckBox enableCodeFoldingBox;
   JCheckBox verifyUploadBox;
   JCheckBox externalEditorBox;
   JCheckBox checkUpdatesBox;
@@ -423,6 +424,15 @@ public void actionPerformed(ActionEvent e) {
     right = Math.max(right, left + d.width);
     top += d.height + GUI_BETWEEN;
 
+   // [ ] Enable Code Folding
+
+    enableCodeFoldingBox = new JCheckBox(_("Enable Code Folding"));
+    pane.add(enableCodeFoldingBox);
+    d = enableCodeFoldingBox.getPreferredSize();
+    enableCodeFoldingBox.setBounds(left, top, d.width + 10, d.height);
+    right = Math.max(right, left + d.width);
+    top += d.height + GUI_BETWEEN;
+    
     // [ ] Verify code after upload
 
     verifyUploadBox = new JCheckBox(_("Verify code after upload"));
@@ -732,6 +742,7 @@ protected void applyFrame() {
     PreferencesData.setBoolean("build.verbose", verboseCompilationBox.isSelected());
     PreferencesData.setBoolean("upload.verbose", verboseUploadBox.isSelected());
     PreferencesData.setBoolean("editor.linenumbers", displayLineNumbersBox.isSelected());
+     PreferencesData.setBoolean("editor.code_folding", enableCodeFoldingBox.isSelected());
     PreferencesData.setBoolean("upload.verify", verifyUploadBox.isSelected());
     PreferencesData.setBoolean("editor.save_on_verify", saveVerifyUploadBox.isSelected());
 
@@ -821,6 +832,7 @@ protected void showFrame(Editor editor) {
     verboseCompilationBox.setSelected(PreferencesData.getBoolean("build.verbose"));
     verboseUploadBox.setSelected(PreferencesData.getBoolean("upload.verbose"));
     displayLineNumbersBox.setSelected(PreferencesData.getBoolean("editor.linenumbers"));
+    enableCodeFoldingBox.setSelected(PreferencesData.getBoolean("editor.code_folding"));
     verifyUploadBox.setSelected(PreferencesData.getBoolean("upload.verify"));
 
     //closingLastQuitsBox.

build/shared/lib/preferences.txt

@@ -87,7 +87,10 @@ editor.window.height.min = 290
 #editor.window.height.min.windows = 530
 
 # Syntax coloring  ( on lib/theme/syntax )
-editor.syntax_theme = default
+editor.syntax_theme=default
+
+# Enable code folding 
+editor.code_folding=true
 
 # font size for editor
 editor.font=Monospaced,plain,12