HighlightLength: 10000, // Limit syntax highlighting
                    dragDrop: false,
                    pollInterval: 100,
                    readOnly: false,
                    foldGutter: true,     // Enable code folding
                    gutters: ["CodeMirror-linenumbers", "CodeMirror-foldgutter"],
                    foldOptions: {
                        widget: '...'
                    },
                    extraKeys: {
                        "Ctrl-Q": function(cm) {
                     