Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext
common/plugin-api-rpc
EditorsAndDocumentsExt
Interface EditorsAndDocumentsExt
interface
EditorsAndDocumentsExt
{
$acceptEditorsAndDocumentsDelta
(
delta
:
EditorsAndDocumentsDelta
)
:
void
;
}
Implemented by
EditorsAndDocumentsExtImpl
Index
Methods
$accept
Editors
And
Documents
Delta
Methods
$accept
Editors
And
Documents
Delta
$acceptEditorsAndDocumentsDelta
(
delta
:
EditorsAndDocumentsDelta
)
:
void
Parameters
delta
:
EditorsAndDocumentsDelta
Returns
void
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Methods
$accept
Editors
And
Documents
Delta
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...