Give terminal options a proper interface

2017-08-05 02:57:34 -07:00
parent da50e33aa8
commit 0b5ff47cc0
3 changed files with 31 additions and 11 deletions
@@ -13,7 +13,5 @@ export type LinkMatcher = {
 export type LinkMatcherHandler = (event: MouseEvent, uri: string) => boolean | void;
 export type LinkMatcherValidationCallback = (uri: string, element: HTMLElement, callback: (isValid: boolean) => void) => void;

-// TODO: Make this type more specific
-export type TerminalOptions = {[key: string]: any};
 export type CustomKeyEventHandler = (event: KeyboardEvent) => boolean;
 export type Charset = {[key: string]: string};