ConfigChange_MetricsLevel$json top-level constant
- @Deprecated('Use configChangeDescriptor instead')
Implementation
@$core.Deprecated('Use configChangeDescriptor instead')
const ConfigChange_MetricsLevel$json = const {
'1': 'MetricsLevel',
'2': const [
const {
'1': 'level',
'3': 1,
'4': 1,
'5': 14,
'6': '.toit.model.MetricsData.Level',
'10': 'level'
},
],
};