Skip to content

WordHighlighter

Defined in: extensions/search/selection.ts:13

WordHighlighter(editor, options): any

Defined in: extensions/search/selection.ts:13

PrismEditor<{ }>

EditorOptions

any

optional api: SearchAPI

Defined in: extensions/search/selection.ts:10

Search API used by the extension. Can be used get the position of the matches for example. This property is only present after the extension is added to an editor.

SelectionMatchHighlighter.api

setFilter(newFilter): void

Defined in: extensions/search/selection.ts:15

Sets the search filter used. Useful for updating the filter after changing an editor’s language.

SearchFilter

void