Merge remote-tracking branch 'origin/master' into 1248_tslint_curly

2018-01-29 07:45:31 -08:00
parent 1dce76dbbb d190bc0531
commit e7b4e002f4
19 changed files with 348 additions and 39 deletions
@@ -85,6 +85,7 @@ const DEFAULT_OPTIONS: ITerminalOptions = {
  cancelEvents: false,
  disableStdin: false,
  useFlowControl: false,
+  allowTransparency: false,
  tabStopWidth: 8,
  theme: null
  // programFeatures: false,