Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext-headless
common/headless-plugin-protocol
NotebookDocumentsAndEditorsDelta
Interface NotebookDocumentsAndEditorsDelta
interface
NotebookDocumentsAndEditorsDelta
{
addedDocuments
?:
NotebookModelAddedData
[]
;
addedEditors
?:
NotebookEditorAddData
[]
;
newActiveEditor
?:
null
|
string
;
removedDocuments
?:
UriComponents
[]
;
removedEditors
?:
string
[]
;
visibleEditors
?:
string
[]
;
}
Index
Properties
added
Documents?
added
Editors?
new
Active
Editor?
removed
Documents?
removed
Editors?
visible
Editors?
Properties
Optional
added
Documents
addedDocuments
?:
NotebookModelAddedData
[]
Optional
added
Editors
addedEditors
?:
NotebookEditorAddData
[]
Optional
new
Active
Editor
newActiveEditor
?:
null
|
string
Optional
removed
Documents
removedDocuments
?:
UriComponents
[]
Optional
removed
Editors
removedEditors
?:
string
[]
Optional
visible
Editors
visibleEditors
?:
string
[]
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
added
Documents
added
Editors
new
Active
Editor
removed
Documents
removed
Editors
visible
Editors
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...