Editor theme interface
Optional
Readonly
Theme name
Theme unique identifier
Editor extension for the theme
Generated using TypeDoc
Editor theme interface