Merge branch 'master' into updated_wcwidth

2019-12-05 15:45:52 +01:00
parent 3395ccb943 17cb610ef1
commit 31ccb796ac
18 changed files with 198 additions and 77 deletions
@@ -51,8 +51,8 @@ export const DEFAULT_OPTIONS: ITerminalOptions = Object.freeze({
  screenKeys: false,
  cancelEvents: false,
  useFlowControl: false,
-  wordSeparator: ' ()[]{}\',:;"',
-  unicodeVersion: '6'
+  unicodeVersion: '6',
+  wordSeparator: ' ()[]{}\',:;"`'
 });

 /**