/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/rulers.d.ts (404B)
import '../../'; export interface Ruler { column: number; className?: string | undefined; color?: string | undefined; lineStyle?: string | undefined; width?: string | undefined; } declare module '../../' { interface EditorConfiguration { /** show one or more vertical rulers in the editor. */ rulers?: false | ReadonlyArray | undefined; } }