diff options
Diffstat (limited to 'org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/ILaunchLabelChangedListener.java')
-rw-r--r-- | org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/ILaunchLabelChangedListener.java | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/ILaunchLabelChangedListener.java b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/ILaunchLabelChangedListener.java index fe3013466..557f8b27a 100644 --- a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/ILaunchLabelChangedListener.java +++ b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/ILaunchLabelChangedListener.java @@ -13,24 +13,24 @@ package org.eclipse.debug.internal.ui; import org.eclipse.debug.ui.ILaunchGroup; /** - * Implementors of this interface are notified when a changed has been made to + * Implementors of this interface are notified when a changed has been made to * the cache of context sensitive labels stored in the <code>LaunchingResourceManager</code>. * A change can come from either a selection change, or from a change to the launch history(s). - * + * * <p> * Clients are intended to implement this interface * </p> - * + * * @since 3.3 */ public interface ILaunchLabelChangedListener { - + /** * This method is called back to by <code>LaunchingResourceManager</code> iff the cache of labels * for the current set of listeners has changed */ public void labelChanged(); - + /** * Returns the launch group that this listener is associated with. * @return the launch group that this listener is associated with, or <code>null</code> if none |