29 lines
1.5 KiB
Diff
29 lines
1.5 KiB
Diff
From ceaa5685fe7f51dae0ce444407d2aea7a49b8896 Mon Sep 17 00:00:00 2001
|
|
From: Lakshminarayana Nekkanti
|
|
Date: Mon, 3 Jun 2019 15:12:13 +0530
|
|
Subject: Bug 542708 - stale JRE shown in Package Explorer after changing it
|
|
from 9 or above to 11
|
|
|
|
Change-Id: Ia9ef62a7e90fb12c9107bfaaf2f47af97fca75fb
|
|
Signed-off-by: Lakshminarayana Nekkanti <narayana.nekkanti@gmail.com>
|
|
---
|
|
.../jdt/internal/ui/packageview/PackageExplorerContentProvider.java | 2 +-
|
|
1 file changed, 1 insertion(+), 1 deletion(-)
|
|
|
|
diff --git a/eclipse.jdt.ui/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/packageview/PackageExplorerContentProvider.java b/eclipse.jdt.ui/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/packageview/PackageExplorerContentProvider.java
|
|
index ff62fa9eda..143364142a 100644
|
|
--- a/eclipse.jdt.ui/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/packageview/PackageExplorerContentProvider.java
|
|
+++ b/eclipse.jdt.ui/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/packageview/PackageExplorerContentProvider.java
|
|
@@ -657,7 +657,7 @@ public class PackageExplorerContentProvider extends StandardJavaElementContentPr
|
|
return false;
|
|
}
|
|
// if the class path has changed we refresh the entire project
|
|
- if ((flags & IJavaElementDelta.F_RESOLVED_CLASSPATH_CHANGED) != 0) {
|
|
+ if ((flags & (IJavaElementDelta.F_CLASSPATH_CHANGED | IJavaElementDelta.F_RESOLVED_CLASSPATH_CHANGED)) != 0) {
|
|
postRefresh(element, ORIGINAL, element, runnables);
|
|
return false;
|
|
}
|
|
--
|
|
cgit v1.2.1
|
|
|