HomeSort by relevance Sort by last modified time
    Searched refs:highlighter (Results 1 - 6 of 6) sorted by null

  /external/chromium_org/chrome/browser/ui/webui/extensions/
extension_error_handler.cc 242 ManifestHighlighter highlighter(contents, key, specific);
243 highlighter.SetHighlightedRegions(results);
252 SourceHighlighter highlighter(contents, line_number);
253 highlighter.SetHighlightedRegions(results);
  /external/chromium_org/tools/json_schema_compiler/
preview.py 102 // Calls a function for each highlighter style <select> element.
110 // Called when anything changes, such as the highlighter or hashtag.
118 // Show/hide the highlighter styles.
154 var query = 'highlighter=' + highlighterName + '&' +
161 // Initial load: set the values of highlighter and highlighterStyles from
265 return (query_dict.get('highlighter', ['pygments'])[0],
277 # Highlighter chooser.
279 for name, highlighter in self.server.highlighters.items():
281 (name, highlighter.DisplayName()))
286 # Style for each highlighter
    [all...]
  /external/chromium_org/third_party/WebKit/Source/devtools/front_end/
DOMAgent.js     [all...]
CodeMirrorTextEditor.js     [all...]
  /external/antlr/antlr-3.4/lib/
antlr-3.4-complete.jar 
  /prebuilts/misc/common/antlr/
antlr-3.4-complete.jar 

Completed in 3210 milliseconds