Diff: Help/SearchHighlightPlugin

Differences between current version and previous revision of Help/SearchHighlightPlugin.

Other diffs: Previous Major Revision, Previous Author