Search
Preparing search index...
The search index is not available
Theia TypeDoc
Options
All
Public
Public/Protected
All
Inherited
Menu
Theia TypeDoc
plugin-ext
WorkspaceTextEditDto
Namespace WorkspaceTextEditDto
Index
Functions
is
Functions
is
is
(
arg
:
WorkspaceTextEditDto
|
WorkspaceFileEditDto
)
:
arg
is
WorkspaceTextEditDto
Parameters
arg:
WorkspaceTextEditDto
|
WorkspaceFileEditDto
Returns
arg
is
WorkspaceTextEditDto
Exports
plugin-
ext
Workspace
Text
Edit
Dto
is