Add folding addons

packages/codeeditor/src/editor.ts

@@ -643,6 +643,11 @@ export namespace CodeEditor {
      * Column index at which rulers should be added.
      */
     rulers: Array<number>;
+
+    /**
+     * Wheter to allow code folding
+     */
+    codeFolding: boolean;
   }
 
   /**
@@ -661,6 +666,7 @@ export namespace CodeEditor {
     matchBrackets: true,
     autoClosingBrackets: true,
     rulers: []
+    codeFolding: true
   };
 
   /**

packages/codemirror/src/editor.ts

@@ -29,6 +29,13 @@ import 'codemirror/addon/comment/comment.js';
 import 'codemirror/addon/display/rulers.js';
 import 'codemirror/addon/edit/matchbrackets.js';
 import 'codemirror/addon/edit/closebrackets.js';
+import 'codemirror/addon/fold/foldcode.js';
+import 'codemirror/addon/fold/foldgutter.js';
+import 'codemirror/addon/fold/brace-fold.js';
+import 'codemirror/addon/fold/indent-fold.js';
+import 'codemirror/addon/fold/markdown-fold.js';
+import 'codemirror/addon/fold/xml-fold.js';
+import 'codemirror/addon/fold/comment-fold.js';
 import 'codemirror/addon/scroll/scrollpastend.js';
 import 'codemirror/addon/search/searchcursor';
 import 'codemirror/addon/search/search';

packages/codemirror/style/index.css

@@ -5,6 +5,7 @@
 
 @import url('~codemirror/lib/codemirror.css');
 @import url('~codemirror/addon/dialog/dialog.css');
+@import url('~codemirror/addon/fold/foldgutter.css');
 
 @import url('~codemirror/theme/material.css');
 @import url('~codemirror/theme/zenburn.css');

packages/fileeditor-extension/schema/plugin.json

@@ -47,6 +47,9 @@
           "items": {
             "type": "number"
           }
+        },
+        "codeFolding": {
+          "type": "boolean"
         }
       },
       "additionalProperties": false,
@@ -70,7 +73,8 @@
         "insertSpaces": true,
         "tabSize": 4,
         "wordWrapColumn": 80,
-        "rulers": []
+        "rulers": [],
+        "codeFolding": true
       }
     }
   },

packages/notebook-extension/schema/tracker.json

@@ -254,6 +254,9 @@
           "items": {
             "type": "number"
           }
+        },
+        "codeFolding": {
+          "type": "boolean"
         }
       },
       "additionalProperties": false,
@@ -277,7 +280,8 @@
         "insertSpaces": true,
         "tabSize": 4,
         "wordWrapColumn": 80,
-        "rulers": []
+        "rulers": [],
+        "codeFolding": true
       }
     },
     "markdownCellConfig": {