Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-metrics
common/plugin-metrics-types
Module common/plugin-metrics-types
Interfaces
AnalyticsFromRequests
DataFromRequest
MethodToAnalytics
MetricOutput
MetricsMap
Functions
createDefaultAnalytics
createDefaultRequestData
createRequestData
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Interfaces
Analytics
From
Requests
Data
From
Request
Method
To
Analytics
Metric
Output
Metrics
Map
Functions
create
Default
Analytics
create
Default
Request
Data
create
Request
Data
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...