diff options
Diffstat (limited to 'org.eclipse.debug.ui/ui/org')
| -rw-r--r-- | org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/launchConfigurations/LaunchHistory.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/launchConfigurations/LaunchHistory.java b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/launchConfigurations/LaunchHistory.java index 9bff6dd18..bfe471bed 100644 --- a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/launchConfigurations/LaunchHistory.java +++ b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/launchConfigurations/LaunchHistory.java @@ -398,5 +398,6 @@ public class LaunchHistory implements ILaunchListener, ILaunchConfigurationListe } checkFavorites(newConfig); } + fireLaunchHistoryChanged(); } } |