diff options
| author | Michael Rennie | 2007-04-23 19:34:30 +0000 |
|---|---|---|
| committer | Michael Rennie | 2007-04-23 19:34:30 +0000 |
| commit | 813b9387e838ebb8e97465368060c2bab7b02bec (patch) | |
| tree | 4a736df7bb4b23e6cfed36d63da78ea23a559ff8 /org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/contextlaunching | |
| parent | 4bf2d07a7299f9709b89af08e48e995d3af50433 (diff) | |
| download | eclipse.platform.debug-813b9387e838ebb8e97465368060c2bab7b02bec.tar.gz eclipse.platform.debug-813b9387e838ebb8e97465368060c2bab7b02bec.tar.xz eclipse.platform.debug-813b9387e838ebb8e97465368060c2bab7b02bec.zip | |
Bug 183360
[launching] Launching tooltip re-computed for same selection
Diffstat (limited to 'org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/contextlaunching')
| -rw-r--r-- | org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/contextlaunching/LaunchingResourceManager.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/contextlaunching/LaunchingResourceManager.java b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/contextlaunching/LaunchingResourceManager.java index 162527fe9..509562a2b 100644 --- a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/contextlaunching/LaunchingResourceManager.java +++ b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/contextlaunching/LaunchingResourceManager.java @@ -113,9 +113,9 @@ public class LaunchingResourceManager implements IPropertyChangeListener, IWindo public void mouseEnter(MouseEvent e) { if(fUpdateLabel) { fUpdateLabel = false; + fCurrentLabels.clear(); Job job = new Job("Compute launch button tooltip") { //$NON-NLS-1$ protected IStatus run(IProgressMonitor monitor) { - fCurrentLabels.clear(); computeLabels(); fConfigCache.clear(); fExtCache.clear(); |