Class CodeEditorWidgetUtil

Constructors

getResourceUri(editor): undefined | URI
Parameters
- editor: CodeEditorWidget
Returns undefined | URI
- Defined in packages/plugin-ext/src/main/browser/menus/vscode-theia-menu-mappings.ts:114

is(arg): arg is CodeEditorWidget
Parameters
- arg: unknown
Returns arg is CodeEditorWidget
- Defined in packages/plugin-ext/src/main/browser/menus/vscode-theia-menu-mappings.ts:111