Theia API Documentation v1.72.1

Eclipse Theia Website GitHub

Preparing search index...

@theia/search-in-workspace
common/search-in-workspace-preferences
searchInWorkspacePreferencesSchema

Variable searchInWorkspacePreferencesSchema`Const`

searchInWorkspacePreferencesSchema: PreferenceSchema = ...

Defined in packages/search-in-workspace/src/common/search-in-workspace-preferences.ts:22

Settings

Member Visibility

Protected
Inherited
External

Theme

Eclipse Theia Website GitHub

Theia API Documentation v1.72.1

Loading...