Theia API Documentation v1.72.1

Eclipse Theia Website GitHub

Preparing search index...

@theia/plugin-metrics
common/metrics-protocol
PluginMetrics

Variable PluginMetrics`Const`

PluginMetrics: typeof PluginMetrics = ...

Defined in plugin-metrics/src/common/metrics-protocol.ts:21
Defined in plugin-metrics/src/common/metrics-protocol.ts:22

Settings

Member Visibility

Protected
Inherited
External

Theme

Eclipse Theia Website GitHub

Theia API Documentation v1.72.1

Loading...