Home
last modified time | relevance | path

Searched refs:setHighlighter (Results 1 – 2 of 2) sorted by relevance

/external/chromium_org/third_party/WebKit/Source/devtools/front_end/
DScreencastView.js128 WebInspector.domAgent.setHighlighter(this);
137 WebInspector.domAgent.setHighlighter(null);
DDOMAgent.js1417 setHighlighter: function(highlighter) method in WebInspector.DOMAgent