From 16ebe22e925d3e5341ca3dea47a3dc6f71d32bc1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=B6rg=20Kubitz?= <jkubitz-eclipse@gmx.de>
Date: Tue, 8 Oct 2024 08:16:35 +0200
Subject: [PATCH] TargetPlatformPreferencePage: refresh Locations after Reload

---
 .../internal/ui/preferences/TargetPlatformPreferencePage.java    | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ui/org.eclipse.pde.ui/src/org/eclipse/pde/internal/ui/preferences/TargetPlatformPreferencePage.java b/ui/org.eclipse.pde.ui/src/org/eclipse/pde/internal/ui/preferences/TargetPlatformPreferencePage.java
index 158a22aed5..1efd0b43cc 100644
--- a/ui/org.eclipse.pde.ui/src/org/eclipse/pde/internal/ui/preferences/TargetPlatformPreferencePage.java
+++ b/ui/org.eclipse.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);
 		}
 	}