Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext-headless
common/headless-plugin-protocol
NotebookRenderersExt
Interface NotebookRenderersExt
interface
NotebookRenderersExt
{
$postRendererMessage
(
editorId
:
string
,
rendererId
:
string
,
message
:
unknown
,
)
:
void
;
}
Index
Methods
$post
Renderer
Message
Methods
$post
Renderer
Message
$postRendererMessage
(
editorId
:
string
,
rendererId
:
string
,
message
:
unknown
,
)
:
void
Parameters
editorId
:
string
rendererId
:
string
message
:
unknown
Returns
void
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Methods
$post
Renderer
Message
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...