diff options
Diffstat (limited to 'org.eclipse.ui.console/src/org/eclipse/ui/console/IConsoleManager.java')
| -rw-r--r-- | org.eclipse.ui.console/src/org/eclipse/ui/console/IConsoleManager.java | 38 |
1 files changed, 19 insertions, 19 deletions
diff --git a/org.eclipse.ui.console/src/org/eclipse/ui/console/IConsoleManager.java b/org.eclipse.ui.console/src/org/eclipse/ui/console/IConsoleManager.java index 14ac3b8ec..269c9eb4b 100644 --- a/org.eclipse.ui.console/src/org/eclipse/ui/console/IConsoleManager.java +++ b/org.eclipse.ui.console/src/org/eclipse/ui/console/IConsoleManager.java @@ -12,24 +12,24 @@ package org.eclipse.ui.console; /** * The console manager manages registered consoles. - * @since 3.0 + * @since 3.0 * @noimplement This interface is not intended to be implemented by clients. * @noextend This interface is not intended to be extended by clients. */ public interface IConsoleManager { - + /** * Registers the given listener for console notifications. Has * no effect if an identical listener is already registered. - * + * * @param listener listener to register */ public void addConsoleListener(IConsoleListener listener); - + /** * Unregisters the given listener for console notifications. Has * no effect if an identical listener is not already registered. - * + * * @param listener listener to unregister */ public void removeConsoleListener(IConsoleListener listener); @@ -38,46 +38,46 @@ public interface IConsoleManager { * Adds the given consoles to the console manager. Has no effect for * equivalent consoles already registered. The consoles will be added * to any existing console views. - * + * * @param consoles consoles to add */ public void addConsoles(IConsole[] consoles); - + /** * Removes the given consoles from the console manager. If the consoles are * being displayed in any console views, the associated pages will be removed * and disposed. - * + * * @param consoles consoles to remove */ public void removeConsoles(IConsole[] consoles); - + /** * Returns a collection of consoles registered with the console manager. - * + * * @return a collection of consoles registered with the console manager */ public IConsole[] getConsoles(); - + /** * Opens the console view and displays given the console. * If the view is already open, it is brought to the front unless * the view is pinned on a console other than the given console. * Has no effect if the given console is not currently registered. - * + * * @param console console to display */ public void showConsoleView(IConsole console); - + /** * Warns that the content of the given console has changed in * all console views. Has no effect if the given console is not * currently registered. - * + * * @param console the console that has changed */ public void warnOfContentChange(IConsole console); - + /** * Creates and returns a collection of new pattern match listeners enabled for * the given console. The pattern match listeners are new instances, intended @@ -88,20 +88,20 @@ public interface IConsoleManager { * Console pattern match listeners are contributed via the * <code>org.eclipse.ui.console.consolePatternMatchListeners</code> extension point. * </p> - * + * * @param console the console for which pattern match listeners are requested * @return a collection of new pattern match listeners * @see IPatternMatchListener * @since 3.1 */ public IPatternMatchListener[] createPatternMatchListeners(IConsole console); - + /** * Requests a redraw of any visible console page containing the specified console. - * + * * @param console the console to be refreshed * @since 3.1 */ public void refresh(IConsole console); - + } |