Searched defs:add_highlight (Results 1 - 1 of 1) sorted by relevance

/opengrok/web/js/
H A Dutils.js1537 // contents += "<b><a href=\"#\" onclick=\"javascript:add_highlight();return
1696 function add_highlight() { function

Completed in 11 milliseconds