Theia API Documentation v1.65.0

Eclipse Theia Website GitHub

Preparing search index...

@theia/preferences
browser/preference-tree-model
PreferenceFilterChangeEvent

Interface PreferenceFilterChangeEvent

interface PreferenceFilterChangeEvent {
source: PreferenceFilterChangeSource;
}

Defined in packages/preferences/src/browser/preference-tree-model.ts:50

Index

Properties

Properties

source

source: PreferenceFilterChangeSource

Defined in packages/preferences/src/browser/preference-tree-model.ts:51

Settings

Member Visibility

Protected
Inherited
External

Theme

On This Page

Properties

Eclipse Theia Website GitHub

Theia API Documentation v1.65.0

Loading...