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.
Methods
setFilter
setFilter(newFilter): void
Sets the search filter used. Useful for updating the filter after changing an editor's language.
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.