Remove mouse zone manager

Part of #2703
2022-07-27 08:41:27 -07:00
parent 8cfa7a0ee2
commit 7bd3801f58
7 changed files with 1 additions and 283 deletions
@@ -23,7 +23,6 @@ export const DEFAULT_OPTIONS: Readonly<ITerminalOptions> = {
  fontWeight: 'normal',
  fontWeightBold: 'bold',
  lineHeight: 1.0,
-  linkTooltipHoverDuration: 500,
  letterSpacing: 0,
  logLevel: 'info',
  scrollback: 1000,