From 136dd4d7d7e236d0ecfa5c9224e9fd6c64a7c7c0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tom=C3=A1=C5=A1=20Vy=C4=8D=C3=ADtal?=
 <tom.vycital@gmail.com>
Date: Tue, 14 May 2019 22:47:20 +0200
Subject: [PATCH] Terminal-kit: argument width in GridMenuOptions is optional
 (#35388)

---
 types/terminal-kit/Terminal.d.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/types/terminal-kit/Terminal.d.ts b/types/terminal-kit/Terminal.d.ts
index 21434c1a5c..42881d14b1 100644
--- a/types/terminal-kit/Terminal.d.ts
+++ b/types/terminal-kit/Terminal.d.ts
@@ -488,7 +488,7 @@ declare namespace Terminal {
   interface GridMenuOptions {
     y?: number;
     x?: number;
-    width: number;
+    width?: number;
     style?: CTerminal;
     selectedStyle?: CTerminal;
     leftPadding?: string;