From a353a8cffe45dcba65fde15554c758b5fb6fe509 Mon Sep 17 00:00:00 2001 From: Corentin Surquin Date: Sat, 10 Aug 2019 01:23:45 +0200 Subject: [PATCH] Allow to disable fast scrolling --- demo/client.ts | 2 +- src/common/services/Services.ts | 2 +- typings/xterm.d.ts | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/demo/client.ts b/demo/client.ts index 88d32c0b7..c6f66dc06 100644 --- a/demo/client.ts +++ b/demo/client.ts @@ -228,7 +228,7 @@ function initOptions(term: TerminalType): void { bellSound: null, bellStyle: ['none', 'sound'], cursorStyle: ['block', 'underline', 'bar'], - fastScrollModifier: ['alt', 'ctrl', 'shift'], + fastScrollModifier: ['alt', 'ctrl', 'shift', undefined], fontFamily: null, fontWeight: ['normal', 'bold', '100', '200', '300', '400', '500', '600', '700', '800', '900'], fontWeightBold: ['normal', 'bold', '100', '200', '300', '400', '500', '600', '700', '800', '900'], diff --git a/src/common/services/Services.ts b/src/common/services/Services.ts index 184a6f9ab..8f4eb39ee 100644 --- a/src/common/services/Services.ts +++ b/src/common/services/Services.ts @@ -180,7 +180,7 @@ export interface ITerminalOptions { cursorStyle: 'block' | 'underline' | 'bar'; disableStdin: boolean; drawBoldTextInBrightColors: boolean; - fastScrollModifier: 'alt' | 'ctrl' | 'shift'; + fastScrollModifier: 'alt' | 'ctrl' | 'shift' | undefined; fastScrollSensitivity: number; fontSize: number; fontFamily: string; diff --git a/typings/xterm.d.ts b/typings/xterm.d.ts index 97bc4cf01..9ea85d07e 100644 --- a/typings/xterm.d.ts +++ b/typings/xterm.d.ts @@ -85,7 +85,7 @@ declare module 'xterm' { /** * The modifier key hold to multiply scroll speed. */ - fastScrollModifier?: 'alt' | 'ctrl' | 'shift'; + fastScrollModifier?: 'alt' | 'ctrl' | 'shift' | undefined; /** * The scroll speed multiplier used for fast scrolling.