From e6c09631f321a803872b5c2a27ab4fd1ee1a02c4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Le=20Ninivin?= <cedric.leninivin@tiolive.com> Date: Fri, 17 Jul 2020 15:16:36 +0200 Subject: [PATCH] Update options on Codemirror Gadget --- gadget/codemirror.gadget.js | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/gadget/codemirror.gadget.js b/gadget/codemirror.gadget.js index e67f9dc..0b5c88e 100644 --- a/gadget/codemirror.gadget.js +++ b/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", -- 2.30.9