Searched refs:highlightDescriptor (Results 1 – 3 of 3) sorted by relevance
113 removeHighlight: function(highlightDescriptor) { }, argument
826 … var highlightDescriptor = textEditor.highlightRange(this._editorRanges[position], styleName);827 this._highlightDescriptors[position] = highlightDescriptor;837 var highlightDescriptor = this._highlightDescriptors[position];838 console.assert(highlightDescriptor);840 textEditor.removeHighlight(highlightDescriptor);
617 removeHighlight: function(highlightDescriptor) argument619 highlightDescriptor.clear();