diff options
Diffstat (limited to 'org.eclipse.ui.console/src/org/eclipse/ui/internal/console/ConsoleManager.java')
| -rw-r--r-- | org.eclipse.ui.console/src/org/eclipse/ui/internal/console/ConsoleManager.java | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/ConsoleManager.java b/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/ConsoleManager.java index f2cd7c43a..27b432e9b 100644 --- a/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/ConsoleManager.java +++ b/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/ConsoleManager.java @@ -427,8 +427,10 @@ public class ConsoleManager implements IConsoleManager { return list.toArray(new PatternMatchListener[0]); } - /* (non-Javadoc) - * @see org.eclipse.ui.console.IConsoleManager#getPageParticipants(org.eclipse.ui.console.IConsole) + /* + * @see + * org.eclipse.ui.console.IConsoleManager#getPageParticipants(org.eclipse.ui. + * console.IConsole) */ public IConsolePageParticipant[] getPageParticipants(IConsole console) { if(fPageParticipants == null) { @@ -455,7 +457,7 @@ public class ConsoleManager implements IConsoleManager { return list.toArray(new IConsolePageParticipant[0]); } - /* (non-Javadoc) + /* * @see org.eclipse.ui.console.IConsoleManager#getConsoleFactories() */ public ConsoleFactoryExtension[] getConsoleFactoryExtensions() { |