![]() Server : Apache/2.4.52 (Ubuntu) System : Linux webserver 6.8.0-49-generic #49~22.04.1-Ubuntu SMP PREEMPT_DYNAMIC Wed Nov 6 17:42:15 UTC 2 x86_64 User : www-data ( 33) PHP Version : 8.1.2-1ubuntu2.21 Disable Function : NONE Directory : /usr/share/nodejs/@types/codemirror/addon/display/ |
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<number | Ruler> | undefined; } }