Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-metrics
common/metrics-protocol
PluginMetrics
Interface PluginMetrics
interface
PluginMetrics
{
getMetrics
()
:
string
;
setMetrics
(
metrics
:
string
)
:
void
;
}
Implemented by
PluginMetricsImpl
Index
Methods
get
Metrics
set
Metrics
Methods
get
Metrics
getMetrics
()
:
string
Returns
string
set
Metrics
setMetrics
(
metrics
:
string
)
:
void
Parameters
metrics
:
string
Returns
void
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Methods
get
Metrics
set
Metrics
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...