Generic DOM tree search provider.

Hierarchy (View Summary)

Constructors

Properties

_filtersChanged: Signal<GenericSearchProvider, void>
_stateChanged: Signal<GenericSearchProvider, void>
isReadOnly: true

Set to true if the widget under search is read-only, false if it is editable. Will be used to determine whether to show the replace option.

widget: Widget

The widget to search in

Accessors

Methods

  • Dispose of the resources held by the search provider.

    If the object's dispose method is called more than once, all calls made after the first will be a no-op.

    It is undefined behavior to use any functionality of the object after it has been disposed unless otherwise explicitly noted.

    Returns void