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