/// import { Plugin } from "prosemirror-state"; import { EditorSchema } from "../schema"; import { PortalProviderApi } from "../util/PortalProvider"; export interface PluginState { readonly container: HTMLDivElement; readonly timeout: NodeJS.Timer | null; readonly mousePosition: { x: number; y: number; } | null; } export declare class HighlightHoverPlugin extends Plugin { constructor(portalProviderApi: PortalProviderApi); }