set fallback

2022-03-17 15:16:28 -04:00
parent c70be89bc2
commit 731432a852
2 changed files with 4 additions and 1 deletions
@@ -479,7 +479,7 @@ declare module 'xterm' {
     * @param color The color of the decoration.
     * @param position The position of the decoration.
     */
-    readonly overviewRulerOptions?: { color: string; position: 'left' | 'center' | 'right' | 'full'}
+    readonly overviewRulerOptions?: { color: string; position?: 'left' | 'center' | 'right' | 'full'}
  }

  /**