Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.
View | Details | Raw Unified | Return to bug 375576
Collapse All | Expand All

(-)src/org/eclipse/jface/text/TextViewer.java (-2 / +8 lines)
Lines 3273-3282 Link Here
3273
3273
3274
		// XXX: Workaround for https://bugs.eclipse.org/375576
3274
		// XXX: Workaround for https://bugs.eclipse.org/375576
3275
		final Shell shell= fTextWidget.getShell(); // only the shell layout is deferred
3275
		final Shell shell= fTextWidget.getShell(); // only the shell layout is deferred
3276
		while (shell.isLayoutDeferred())
3276
		int d= 0;
3277
		for (; shell.isLayoutDeferred(); d++)
3277
			shell.setLayoutDeferred(false);
3278
			shell.setLayoutDeferred(false);
3279
		try {
3280
			internalRevealRange(start, end);
3281
		} finally {
3282
			for (; d > 0; d--)
3283
				shell.setLayoutDeferred(true);
3284
		}
3278
3285
3279
		internalRevealRange(start, end);
3280
	}
3286
	}
3281
3287
3282
	/**
3288
	/**

Return to bug 375576