| 1 | import "../../";
|
| 2 |
|
| 3 | export interface Ruler {
|
| 4 | column: number;
|
| 5 | className?: string | undefined;
|
| 6 | color?: string | undefined;
|
| 7 | lineStyle?: string | undefined;
|
| 8 | width?: string | undefined;
|
| 9 | }
|
| 10 |
|
| 11 | declare module "../../" {
|
| 12 | interface EditorConfiguration {
|
| 13 | /** show one or more vertical rulers in the editor. */
|
| 14 | rulers?: false | ReadonlyArray<number | Ruler> | undefined;
|
| 15 | }
|
| 16 | }
|