Libdoc: Drop possible hash from URL when selecting tag.
The hash can contain name of the keyword to scroll to. Better to clear
it when selecting tag to show keywords with that tag.
Related to PR and issue
markMatches(tag, include);
highlightMatches(tag, include);
$('#keywords-container').find('.kw-row').addClass('hide-unmatched');
- history.replaceState && history.replaceState(null, '', location.pathname + "?tag=" + tag + location.hash);
+ history.replaceState && history.replaceState(null, '', location.pathname + "?tag=" + tag);
}
function doSearch() {
