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