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;
}