Fix Jittery editor mouse wheel zoom when setting window.zoomLevel = 1 (microsoft#227916)

Jose-AE · web-flow · commit e9df78f74731 · 2025-07-14T21:38:37.000Z
diff --git a/src/vs/base/browser/ui/scrollbar/scrollableElement.ts b/src/vs/base/browser/ui/scrollbar/scrollableElement.ts
@@ -165,8 +165,9 @@ export class MouseWheelClassifier {
 	}
 
 	private _isAlmostInt(value: number): boolean {
+		const epsilon = Number.EPSILON * 100; // Use a small tolerance factor for floating-point errors
 		const delta = Math.abs(Math.round(value) - value);
-		return (delta < 0.01);
+		return (delta < 0.01 + epsilon);
 	}
 }
 

Original file line number	Diff line number	Diff line change
`@@ -165,8 +165,9 @@ export class MouseWheelClassifier {`
`165`	`165`	`}`
`166`	`166`
`167`	`167`	`private _isAlmostInt(value: number): boolean {`
	`168`	`+ const epsilon = Number.EPSILON * 100; // Use a small tolerance factor for floating-point errors`
`168`	`169`	`const delta = Math.abs(Math.round(value) - value);`
`169`		`- return (delta < 0.01);`
	`170`	`+ return (delta < 0.01 + epsilon);`
`170`	`171`	`}`
`171`	`172`	`}`
`172`	`173`