Jump between highlighted strings in a search result
Compatible with DokuWiki
binky, ponder stibbons
Jump between highlighted strings in a search result
This extension has not been updated in over 2 years. It may no longer be maintained or supported and may have compatibility issues.
When this plugin is installed, the page will automatically scroll to the first highlighted search result when following a link from the search. Additionally a small dialog is shown to jump between the different highlighted results.
The following keys can be used for fast navigation:
k — previous search highlight,j — next search highlight,x — close navigation dialog and remove highlights.Search and install the plugin using the Extension Manager. Refer to Plugins on how to install plugins manually.