src/extensions/default/CodeFolding/main.js
function removeGutters(editor) {
        Editor.unregisterGutter(GUTTER_NAME);
        $(editor.getRootElement()).removeClass("folding-enabled");
        CodeMirror.defineOption("foldGutter", false, null);
    }
function removeGutters(editor) {
        Editor.unregisterGutter(GUTTER_NAME);
        $(editor.getRootElement()).removeClass("folding-enabled");
        CodeMirror.defineOption("foldGutter", false, null);
    }
function removeGutters ( editor ) { Editor . unregisterGutter ( GUTTER_NAME ) ; $ ( editor . getRootElement ( ) ) . removeClass ( "folding-enabled" ) ; CodeMirror . defineOption ( "foldGutter" , false , null ) ; }
Remove the fold gutter for a given CodeMirror instance.
@param {Editor} editor the editor instance whose gutter should be removed
Remove the fold gutter for a given CodeMirror instance .