Searched refs:getHighlightGutterLine (Results 1 – 1 of 1) sorted by relevance
1 …getHighlightGutterLine=function(){return this.getOption("highlightGutterLine")},this.setHighlightS… method