Theia API Documentation v1.65.0

Eclipse Theia Website GitHub

Preparing search index...

@theia/editor
browser/editor
CustomEditorWidget
is

Function is

is(arg: undefined | Widget): arg is CustomEditorWidget
Parameters
- arg: undefined | Widget
Returns arg is CustomEditorWidget
- Defined in packages/editor/src/browser/editor.ts:370

Settings

Member Visibility

Protected
Inherited
External

Theme

Eclipse Theia Website GitHub

Theia API Documentation v1.65.0

Loading...