Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-metrics
browser/plugin-metrics-output-registry
PluginMetricsOutputChannelRegistry
Class PluginMetricsOutputChannelRegistry
Hierarchy (
View Summary
)
OutputChannelRegistryMainImpl
PluginMetricsOutputChannelRegistry
Index
Constructors
constructor
Properties
command
Service
plugin
Metrics
Creator
Methods
$append
$clear
$close
$dispose
$reveal
Constructors
constructor
new
PluginMetricsOutputChannelRegistry
()
:
PluginMetricsOutputChannelRegistry
Returns
PluginMetricsOutputChannelRegistry
Properties
Protected
Readonly
command
Service
commandService
:
CommandService
Protected
Readonly
plugin
Metrics
Creator
pluginMetricsCreator
:
PluginMetricsCreator
Methods
$append
$append
(
channelName
:
string
,
errorOrValue
:
string
,
pluginInfo
:
PluginInfo
,
)
:
PromiseLike
<
void
>
Parameters
channelName
:
string
errorOrValue
:
string
pluginInfo
:
PluginInfo
Returns
PromiseLike
<
void
>
$clear
$clear
(
name
:
string
)
:
PromiseLike
<
void
>
Parameters
name
:
string
Returns
PromiseLike
<
void
>
$close
$close
(
name
:
string
)
:
PromiseLike
<
void
>
Parameters
name
:
string
Returns
PromiseLike
<
void
>
$dispose
$dispose
(
name
:
string
)
:
PromiseLike
<
void
>
Parameters
name
:
string
Returns
PromiseLike
<
void
>
$reveal
$reveal
(
name
:
string
,
preserveFocus
:
boolean
)
:
Promise
<
void
>
Parameters
name
:
string
preserveFocus
:
boolean
Returns
Promise
<
void
>
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Constructors
constructor
Properties
command
Service
plugin
Metrics
Creator
Methods
$append
$clear
$close
$dispose
$reveal
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...