Merge branch 'master' into underline-dotted

This commit is contained in:
Daniel Imms
2023-08-22 07:47:42 -07:00
committed by GitHub
4 changed files with 110 additions and 12 deletions
+3
View File
@@ -279,6 +279,9 @@ export class Viewport extends Disposable implements IViewport {
}
public scrollLines(disp: number): void {
if (disp === 0) {
return;
}
if (!this._optionsService.rawOptions.smoothScrollDuration) {
this._onRequestScrollLines.fire({ amount: disp, suppressScrollEvent: false });
} else {