From 31c68f5a4b2e59da3b301b2d4e2a6855317b23d9 Mon Sep 17 00:00:00 2001 From: Stephan Wahlbrink Date: Mon, 6 Oct 2025 20:07:24 +0200 Subject: [PATCH] Fix Widget is disposed exception in VisibleLinesTracker --- .../org/eclipse/jface/text/source/VisibleLinesTracker.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/bundles/org.eclipse.jface.text/src/org/eclipse/jface/text/source/VisibleLinesTracker.java b/bundles/org.eclipse.jface.text/src/org/eclipse/jface/text/source/VisibleLinesTracker.java index ed3fd83e460..0941adfa11b 100644 --- a/bundles/org.eclipse.jface.text/src/org/eclipse/jface/text/source/VisibleLinesTracker.java +++ b/bundles/org.eclipse.jface.text/src/org/eclipse/jface/text/source/VisibleLinesTracker.java @@ -91,7 +91,7 @@ private Map getVisibleLineBounds() { */ static void track(ITextViewer viewer, Consumer handler) { StyledText textWidget= viewer != null ? viewer.getTextWidget() : null; - if (textWidget == null) { + if (textWidget == null || textWidget.isDisposed()) { return; } VisibleLinesTracker tracker= (VisibleLinesTracker) textWidget.getData(DATA_KEY); @@ -111,7 +111,7 @@ static void track(ITextViewer viewer, Consumer handler) { */ static void untrack(ITextViewer viewer, Consumer handler) { StyledText textWidget= viewer != null ? viewer.getTextWidget() : null; - if (textWidget == null) { + if (textWidget == null || textWidget.isDisposed()) { return; } VisibleLinesTracker tracker= (VisibleLinesTracker) textWidget.getData(DATA_KEY);