Preparing search index...
The search index is not available
Theia TypeDoc
Theia TypeDoc
plugin-ext
WorkspaceEditDto
Interface WorkspaceEditDto
interface
WorkspaceEditDto
{
edits
:
(
WorkspaceFileEditDto
|
WorkspaceTextEditDto
|
WorkspaceNotebookCellEditDto
)
[]
;
}
Index
Properties
edits
Properties
edits
edits
:
(
WorkspaceFileEditDto
|
WorkspaceTextEditDto
|
WorkspaceNotebookCellEditDto
)
[]
Settings
Member Visibility
Protected
Private
Inherited
Theme
OS
Light
Dark
On This Page
edits
Theia TypeDoc
Loading...