Add a proposed API check option

Part of #2826
2020-05-08 12:41:10 -07:00
parent 64328ee39c
commit aa59f34aab
5 changed files with 43 additions and 2 deletions
@@ -218,6 +218,7 @@ export interface IPartialTerminalOptions {
 }

 export interface ITerminalOptions {
+  allowProposedApi: boolean;
  allowTransparency: boolean;
  bellSound: string;
  bellStyle: 'none' | 'sound' /* | 'visual' | 'both' */;