getModificationStamp instead of getLocalTimeStamp

eclipse-xtext · Feb 19, 2025 · 9e08f2e · 9e08f2e
1 parent a04df68
commit 9e08f2e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/org.eclipse.xtext.ui/src/org/eclipse/xtext/ui/generator/trace/TraceForStorageProvider.java b/org.eclipse.xtext.ui/src/org/eclipse/xtext/ui/generator/trace/TraceForStorageProvider.java
@@ -69,7 +69,7 @@ public AbsoluteURI getPath() {
 
 		@Override
 		public long getTimestamp() {
-			return file.getLocalTimeStamp();
+			return file.getModificationStamp();
 		}
 
 		@Override