Fix line number layout in sticky scrolling control

eclipse-platform · Jul 31, 2024 · a547aa4 · a547aa4
1 parent 351e9a3
commit a547aa4
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/...i.editors/src/org/eclipse/ui/internal/texteditor/stickyscroll/StickyScrollingControl.java b/...i.editors/src/org/eclipse/ui/internal/texteditor/stickyscroll/StickyScrollingControl.java
@@ -326,6 +326,7 @@ private void layoutLineNumbers() {
 			((GridData) stickyLineNumber.getLayoutData()).widthHint= lineNumberBounds.width;
 			stickyLineNumber.setRightMargin(verticalRuler.getWidth() - lineNumberBounds.x - lineNumberBounds.width);
 		}
+		stickyLinesCanvas.layout();
 	}
 
 	private LineNumberColumn getLineNumberColumn(IVerticalRuler ruler) {
@@ -507,7 +508,7 @@ public void keyReleased(KeyEvent e) {
 
 		@Override
 		public void caretMoved(CaretEvent event) {
-			int offsetEndPosition = sourceViewer.getTextWidget().getText().length();
+			int offsetEndPosition= sourceViewer.getTextWidget().getText().length();
 			if (event.caretOffset == 0 || event.caretOffset == offsetEndPosition) {
 				return;
 			}