Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext
common/plugin-api-rpc
OutputChannelRegistryExt
Interface OutputChannelRegistryExt
interface
OutputChannelRegistryExt
{
createOutputChannel
(
name
:
string
,
pluginInfo
:
PluginInfo
)
:
OutputChannel
;
createOutputChannel
(
name
:
string
,
pluginInfo
:
PluginInfo
,
options
:
{
log
:
true
}
,
)
:
LogOutputChannel
;
}
Implemented by
OutputChannelRegistryExtImpl
Index
Methods
create
Output
Channel
Methods
create
Output
Channel
createOutputChannel
(
name
:
string
,
pluginInfo
:
PluginInfo
)
:
OutputChannel
Parameters
name
:
string
pluginInfo
:
PluginInfo
Returns
OutputChannel
createOutputChannel
(
name
:
string
,
pluginInfo
:
PluginInfo
,
options
:
{
log
:
true
}
,
)
:
LogOutputChannel
Parameters
name
:
string
pluginInfo
:
PluginInfo
options
:
{
log
:
true
}
Returns
LogOutputChannel
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Methods
create
Output
Channel
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...