Preparing search index...
The search index is not available
Theia TypeDoc
Theia TypeDoc
plugin-metrics
metricsJsonRpcPath
Variable metricsJsonRpcPath
Const
metrics
Json
Rpc
Path
:
"/services/plugin-ext/metrics"
= '/services/plugin-ext/metrics'
The JSON-RPC interface for plugin metrics
Settings
Member Visibility
Protected
Private
Inherited
Theme
OS
Light
Dark
Theia TypeDoc
Loading...
The JSON-RPC interface for plugin metrics