Searched defs:add_highlight (Results 1 - 1 of 1) sorted by relevance
| /opengrok/web/js/ | ||
| H A D | utils.js | 1537 // contents += "<b><a href=\"#\" onclick=\"javascript:add_highlight();return 1696 function add_highlight() { function |
Completed in 11 milliseconds