Add smooth scrolling setting

Fixes #125950

Author: Tyriar

src/vs/platform/terminal/common/terminal.ts

@@ -112,7 +112,8 @@ export const enum TerminalSettingId {
 	ShellIntegrationDecorationIcon = 'terminal.integrated.shellIntegration.decorationIcon',
 	ShellIntegrationDecorationIconError = 'terminal.integrated.shellIntegration.decorationIconError',
 	ShellIntegrationDecorationIconSuccess = 'terminal.integrated.shellIntegration.decorationIconSuccess',
-	ShellIntegrationCommandHistory = 'terminal.integrated.shellIntegration.history'
+	ShellIntegrationCommandHistory = 'terminal.integrated.shellIntegration.history',
+	SmoothScrolling = 'terminal.integrated.smoothScrolling'
 }
 
 export const enum TerminalLogConstants {

src/vs/workbench/contrib/terminal/browser/xterm/xtermTerminal.ts

@@ -42,6 +42,7 @@ import { IGenericMarkProperties } from 'vs/platform/terminal/common/terminalProc
 // which suggests the fallback DOM-based renderer
 const SLOW_CANVAS_RENDER_THRESHOLD = 50;
 const NUMBER_OF_FRAMES_TO_MEASURE = 20;
+const SMOOTH_SCROLL_DURATION = 125;
 
 let CanvasAddon: typeof CanvasAddonType;
 let SearchAddon: typeof SearchAddonType;
@@ -144,7 +145,8 @@ export class XtermTerminal extends DisposableStore implements IXtermTerminal, II
 			fastScrollSensitivity: config.fastScrollSensitivity,
 			scrollSensitivity: config.mouseWheelScrollSensitivity,
 			wordSeparator: config.wordSeparators,
-			overviewRulerWidth: 10
+			overviewRulerWidth: 10,
+			smoothScrollDuration: config.smoothScrolling ? SMOOTH_SCROLL_DURATION : 0
 		}));
 		this._core = (this.raw as any)._core as IXtermCore;
 
@@ -242,6 +244,7 @@ export class XtermTerminal extends DisposableStore implements IXtermTerminal, II
 		this.raw.options.rightClickSelectsWord = config.rightClickBehavior === 'selectWord';
 		this.raw.options.wordSeparator = config.wordSeparators;
 		this.raw.options.customGlyphs = config.customGlyphs;
+		this.raw.options.smoothScrollDuration = config.smoothScrolling ? SMOOTH_SCROLL_DURATION : 0;
 		if (this._shouldLoadWebgl()) {
 			this._enableWebglRenderer();
 		} else {

src/vs/workbench/contrib/terminal/common/terminal.ts

@@ -302,6 +302,7 @@ export interface ITerminalConfiguration {
 		enabled: boolean;
 		decorationsEnabled: boolean;
 	};
+	smoothScrolling: boolean;
 }
 
 export const DEFAULT_LOCAL_ECHO_EXCLUDE: ReadonlyArray<string> = ['vim', 'vi', 'nano', 'tmux'];

src/vs/workbench/contrib/terminal/common/terminalConfiguration.ts

@@ -569,6 +569,11 @@ const terminalConfiguration: IConfigurationNode = {
 			type: 'number',
 			default: 100
 		},
+		[TerminalSettingId.SmoothScrolling]: {
+			markdownDescription: localize('terminal.integrated.smoothScrolling', "Controls whether the terminal will scroll using an animation."),
+			type: 'boolean',
+			default: false
+		},
 	}
 };