Don't smooth scroll when it's a no-op

Fixes #4713
2026-08-05 13:43:48 -07:00 · 2023-08-22 06:39:59 -07:00
parent 6f0a5c9f0c
commit 0e947788e0
1 changed files with 3 additions and 0 deletions
@@ -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 {