interface HTMLElementimport { type HTMLElement } from "https://deno.land/x/netzo@0.4.72/deps/@tiptap/react.ts"; Propertiesoptionaleditor: Editor