/usr/share/nodejs/@types/codemirror/addon/display
NameSizeModeActions
autorefresh.d.ts2970644editdlrm
fullscreen.d.ts4040644editdlrm
panel.d.ts18540644editdlrm
placeholder.d.ts4290644editdlrm
rulers.d.ts4040644editdlrm
Edit: /usr/share/nodejs/@types/codemirror/addon/display/fullscreen.d.ts (404B)
import '../../'; declare module '../../' { interface EditorConfiguration { /** * When set to true, will make the editor full-screen (as in, taking up the whole browser window). * Depends on fullscreen.css * @see {@link https://codemirror.net/doc/manual.html#addon_fullscreen} * @default false */ fullScreen?: boolean | undefined; } }