Jump between highlighted strings in a search result
Совместим с «Докувики»
binky, ponder stibbons
Jump between highlighted strings in a search result
Это расширение не обновлялось более двух лет. Возможно, оно больше не разрабатывается или не поддерживается; возможны проблемы совместимости.
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.