fixed #173858 minimap slider not scrolling to the top end

[Dromantor]

This fixes the issue #173858 I reported a few weeks ago.

When scrolling all the way to the top a div/0 happens in the else block when options.paddingTop == scrollTop == 0:

[line 380 in minimap.ts]
if (scrollTop > options.paddingTop) {
    sliderTopAligned = (viewportStartLineNumber - startLineNumber + topPaddingLineCount + partialLine) * minimapLineHeight / pixelRatio;
} else {
    sliderTopAligned = (scrollTop / options.paddingTop) * (topPaddingLineCount + partialLine) * minimapLineHeight / pixelRatio;
                                [ ^ div/0 ]
}

My pull request changes the if condition to >= instead of >, avoiding the div/0 by executing the else block.
(Reasoning: Why should the calculation suddenly completely change when scrollTop, i.e. the position from the top end, changes from 1 to 0? It probably shouldn't.)

Tested it by modifying my local installation, where it completely eliminated the issue.

[cyber-eternal]

LGTM

[Dromantor]

I would really like if this obvious but simple to fix issue does not persist for another 10 months.

[alexdima]

Thank you and appologies for the slow reaction times!