src/extensions/default/CodeFolding/foldhelpers/foldgutter.js
function marker(spec) {
        var elt = window.document.createElement("div");
        elt.className = spec;
        return elt;
    }
function marker(spec) {
        var elt = window.document.createElement("div");
        elt.className = spec;
        return elt;
    }
function marker ( spec ) { var elt = window . document . createElement ( "div" ) ; elt . className = spec ; return elt ; }
Utility for creating fold markers in fold gutter
@param {string} spec the className for the marker
@return {HTMLElement} a htmlelement representing the fold marker
Utility for creating fold markers in fold gutter