Searched refs:highlight (Results 1 – 12 of 12) sorted by relevance
4 highlight.string = #DD00005 highlight.comment = #FF80006 highlight.keyword = #0077007 highlight.default = #0000BB8 highlight.html = #000000
4 highlight.string=#DD00005 highlight.comment=#FF99006 highlight.keyword=#0077007 highlight.default=#0000BB8 highlight.html=#000000
4 highlight.html=#000000
132 void phpdbg_list_file(zend_string *filename, uint32_t count, int offset, uint32_t highlight) /* {{{… in phpdbg_list_file() argument160 if (!highlight) { in phpdbg_list_file()163 if (highlight != line) { in phpdbg_list_file()
170 highlight the major important things (security fixes) and when it is318 highlight the major important things (security fixes) and when it is357 highlight the major important things (security fixes) and when it is
322 ;highlight.string = #DD0000323 ;highlight.comment = #FF9900324 ;highlight.keyword = #007700325 ;highlight.default = #0000BB326 ;highlight.html = #000000
Completed in 28 milliseconds
