Remove Terminal.options.colors

It wasn't being used
2017-09-02 10:51:08 -07:00
parent b8732a25a3
commit ee4b71c8e7
2 changed files with 0 additions and 15 deletions
@@ -117,7 +117,6 @@ export interface ITerminalOptions {
  bellSound?: string;
  bellStyle?: string;
  cancelEvents?: boolean;
-  colors?: string[];
  cols?: number;
  convertEol?: boolean;
  cursorBlink?: boolean;