Add lock object to fDocument in DocumentAdapter.initialize()

This change adds a lock object to `Document` use in `DocumentAdapter`, in order to prevent concurrent text buffer access. See: eclipse-platform/eclipse.platform.ui#1059
eclipse-jdt · May 7, 2024 · 3ad6499 · 3ad6499
1 parent 9bad85c
commit 3ad6499
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/DocumentAdapter.java b/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/DocumentAdapter.java
@@ -303,6 +303,9 @@ private void initialize() {
 				fTextFileBuffer= manager.getTextFileBuffer(fPath, fLocationKind);
 			}
 			fDocument= fTextFileBuffer.getDocument();
+			if (fDocument instanceof ISynchronizable sDocument && sDocument.getLockObject() == null) {
+				sDocument.setLockObject(new Object());
+			}
 		} catch (CoreException x) {
 			fDocument= manager.createEmptyDocument(fPath, fLocationKind);
 			if (fDocument instanceof ISynchronizable)