Skip to content

Commit

Permalink
Merge pull request #977 from juhasch/fix/codefolding_gutter
Browse files Browse the repository at this point in the history
Fix codefolding gutter
  • Loading branch information
juhasch authored Apr 30, 2017
2 parents 4ce8aa2 + 2d4e3b4 commit dd7d29e
Showing 1 changed file with 5 additions and 5 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -126,11 +126,11 @@ define([
* @param cell {codecell.CodeCell} code cell to activate folding gutter
*/
function activate_cm_folding (cm) {
var gutters = cm.getOption('gutters');
if ($.inArray("CodeMirror-foldgutter", gutters) < 0) {
gutters.push('CodeMirror-foldgutter');
cm.setOption('gutters', gutters);
}
var gutters = cm.getOption('gutters').slice();
if ( $.inArray("CodeMirror-foldgutter", gutters) < 0) {
gutters.push('CodeMirror-foldgutter')
cm.setOption('gutters', gutters);
}

/* set indent or brace folding */
var opts = true;
Expand Down

0 comments on commit dd7d29e

Please sign in to comment.