(ref)
| 400 | // other highlighting stuff |
| 401 | var highlighted_items; |
| 402 | var highlight_items = function(ref) { |
| 403 | if (highlighted_items) |
| 404 | highlighted_items.removeClass("highlight"); |
| 405 | if (ref) { |
| 406 | highlighted_items = $("[data-ref='"+escape_selector(ref)+"']"); |
| 407 | highlighted_items.addClass("highlight") |
| 408 | } |
| 409 | } |
| 410 | |
| 411 | var anchor_id = location.hash.substr(1); //Get the word after the hash from the url |
| 412 | if (/^\d+$/.test(anchor_id)) { |
no test coverage detected