export interface HTMLCodeEditElement { value?: string language?: string syntax?: SyntaxDefinition | Promise<{ default: SyntaxDefinition }> theme?: string tabsize?: number tabstyle?: 'tabs' | 'spaces' comments?: string }