TargetPlatformPreferencePage: refresh Locations after Reload

eclipse-pde · Oct 8, 2024 · 0ccbc9b · 0ccbc9b
1 parent 3fabfe7
commit 0ccbc9b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/...ipse.pde.ui/src/org/eclipse/pde/internal/ui/preferences/TargetPlatformPreferencePage.java b/...ipse.pde.ui/src/org/eclipse/pde/internal/ui/preferences/TargetPlatformPreferencePage.java
@@ -647,6 +647,7 @@ protected void configureShell(Shell shell) {
 				}
 			}
 			fTableViewer.refresh(true);
+			fDetails.refresh(true);
 		}
 	}