import { Ref } from "vue" export type UIPlatformDef = { appHeader?: { paddingTop?: Ref paddingLeft?: Ref } onCodemirrorInstanceMount?: (element: HTMLElement) => void }