StyledText#setLineVerticalIndent: fix overlapping code minings in editor

Ensure problem annotation code minings are rendered below source lines
to prevent visual overlap during vertical scrolling.

Fixes: #2512

Author: tobias-melcher

bundles/org.eclipse.swt/Eclipse SWT Custom Widgets/common/org/eclipse/swt/custom/StyledText.java

@@ -9326,14 +9326,16 @@ public void setLineVerticalIndent(int lineIndex, int verticalLineIndent) {
 			verticalScrollbar.setSelection(verticalScrollOffset);
 			verticalScrollbar.setMaximum(verticalScrollbar.getMaximum() + verticalIndentDiff);
 		}
+		resetCache(lineIndex, 1);
 	} else if (lineIndex > initialBottomIndex) {
 		if (verticalScrollbar != null) {
 			verticalScrollbar.setMaximum(verticalScrollbar.getMaximum() + verticalIndentDiff);
 		}
+		resetCache(lineIndex, 1);
 	} else {
 		resetCache(lineIndex, 1);
-		if((initialTopIndex == 0) && (initialBottomIndex == (content.getLineCount() - 1))) { // not scrollable editor
-		    setCaretLocations();
+		if ((initialTopIndex == 0) && (initialBottomIndex == (content.getLineCount() - 1))) { // not scrollable editor
+			setCaretLocations();
 			redrawLines(lineIndex, getBottomIndex() - lineIndex + 1, true);
 		} else if (getFirstCaretLine() >= initialTopIndex && getFirstCaretLine() <= initialBottomIndex) { // caret line with caret mustn't move
 			if (getFirstCaretLine() < lineIndex) {