import { Extension } from "@codemirror/state";
export default function panelPlugin(): Extension;