Update options on Codemirror Gadget

gadget/codemirror.gadget.js

@@ -29,11 +29,11 @@
           indentWithTabs: false,
           matchBrackets: true,
           matchTags: {bothTags: true},
-          //rulers: [{
-          //  column: 80,
-          //  color: "#bbb",
-          //  lineStyle: "dashed"
-          //}],
+          rulers: [{
+            column: 80,
+            color: "#bbb",
+            lineStyle: "dashed"
+          }],
           extraKeys: {
             "Ctrl-Space": "autocomplete",
             "Alt-Space": "autocomplete",
@@ -56,7 +56,7 @@
               return;
             }
           },
-          foldGutter: false,
+          foldGutter: true,
           lineWrapping: true,
           gutters: ["CodeMirror-lint-markers",
                     "CodeMirror-linenumbers",