export default class RichTextEditor extends HTMLElement { private editor; private initialized; constructor(); get_value(): string; get_text(): string; set_value(html: string): string; connectedCallback(): Promise; static readonly observedAttributes: string[]; attributeChangedCallback(name: string, _oldValue: string, newValue: string): void; disable(): void; enable(): void; }