Preparing search index...
The search index is not available

Theia TypeDoc
preferences
preferences
EditorCommandArgs

Interface EditorCommandArgs

interface EditorCommandArgs {
id: string;
value: undefined | string;
}

Defined in packages/preferences/src/browser/util/preference-types.ts:32
Defined in packages/preferences/src/browser/util/preference-types.ts:37

Index

Properties

Properties

id

id: string

Defined in packages/preferences/src/browser/util/preference-types.ts:33

value

value: undefined | string

Defined in packages/preferences/src/browser/util/preference-types.ts:34

Settings

Member Visibility

Protected
Private
Inherited

Theme

On This Page

Loading...