Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-metrics
browser/plugin-metrics-output-registry
Module browser/plugin-metrics-output-registry
Classes
PluginMetricsOutputChannelRegistry
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Classes
Plugin
Metrics
Output
Channel
Registry
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...