Merge branch 'master' into updated_wcwidth

2020-02-03 10:22:29 -08:00
parent d4d7446789 12362cac61
commit 3bd0cb9a15
6 changed files with 67 additions and 20 deletions
@@ -52,7 +52,7 @@ export const DEFAULT_OPTIONS: ITerminalOptions = Object.freeze({
  screenKeys: false,
  cancelEvents: false,
  useFlowControl: false,
-  wordSeparator: ' ()[]{}\',:;"`'
+  wordSeparator: ' ()[]{}\',"`'
 });

 /**