Searched refs:setHighlightGutterLine (Results 1 – 1 of 1) sorted by relevance
1 …setHighlightGutterLine=function(e){this.setOption("highlightGutterLine",e)},this.getHighlightGutte… method