Browse Source

added folding

added basic folding to the arguments of the editor.
Andrew Butt 8 years ago
parent
commit
48b6714f4a
1 changed files with 2 additions and 1 deletions
  1. 2 1
      Playground/js/index.js

+ 2 - 1
Playground/js/index.js

@@ -965,7 +965,8 @@
                         automaticLayout: true,
                         readOnly: false,
                         theme: "vs",
-                        contextmenu: false
+                        contextmenu: false,
+                        folding: true
                     });
 
                     run();