Merge branch 'master' into 2824

2020-04-14 06:25:06 -07:00
parent 9817754f92 80a692a751
commit 1472e7b051
18 changed files with 79 additions and 56 deletions
@@ -31,6 +31,7 @@ export const DEFAULT_OPTIONS: ITerminalOptions = Object.freeze({
  fontWeight: 'normal',
  fontWeightBold: 'bold',
  lineHeight: 1.0,
+  linkTooltipHoverDuration: 500,
  letterSpacing: 0,
  logLevel: 'info',
  scrollback: 1000,