Terminal-kit: argument width in GridMenuOptions is optional (#35388)

This commit is contained in:
Tomáš Vyčítal
2019-05-14 13:47:20 -07:00
committed by Nathan Shively-Sanders
parent bcfb2c65f2
commit 136dd4d7d7
+1 -1
View File
@@ -488,7 +488,7 @@ declare namespace Terminal {
interface GridMenuOptions {
y?: number;
x?: number;
width: number;
width?: number;
style?: CTerminal;
selectedStyle?: CTerminal;
leftPadding?: string;