editorColor method
An editor color from the theme's colors map, such as
editorLineNumber.foreground. Returns null if absent or not a
hex color.
Implementation
int? editorColor(String key) {
final value = _asMap(json['colors'])[key];
return value is String ? parseHexColor(value) : null;
}