From fab0084c14154b314cbc76cf9bb5ab8b3d04116d Mon Sep 17 00:00:00 2001
From: Andreas Pareis <1822013+Dromantor@users.noreply.github.com>
Date: Mon, 24 Apr 2023 19:17:28 +0200
Subject: [PATCH] fixed div/0 in minimap slider position calculation

also execute if block if scrollTop equals options.paddingTop
this avoids div/0 in else block when options.paddingTop is 0
---
 src/vs/editor/browser/viewParts/minimap/minimap.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/vs/editor/browser/viewParts/minimap/minimap.ts b/src/vs/editor/browser/viewParts/minimap/minimap.ts
index 031f8a8f612e3..e5c416a9e4b90 100644
--- a/src/vs/editor/browser/viewParts/minimap/minimap.ts
+++ b/src/vs/editor/browser/viewParts/minimap/minimap.ts
@@ -377,7 +377,7 @@ class MinimapLayout {
 			const partialLine = (scrollTop - viewportStartLineNumberVerticalOffset) / lineHeight;
 
 			let sliderTopAligned: number;
-			if (scrollTop > options.paddingTop) {
+			if (scrollTop >= options.paddingTop) {
 				sliderTopAligned = (viewportStartLineNumber - startLineNumber + topPaddingLineCount + partialLine) * minimapLineHeight / pixelRatio;
 			} else {
 				sliderTopAligned = (scrollTop / options.paddingTop) * (topPaddingLineCount + partialLine) * minimapLineHeight / pixelRatio;