diff options
Diffstat (limited to 'org.eclipse.ui.console/src/org/eclipse/ui/internal/console/ConsolePageParticipantExtension.java')
| -rw-r--r-- | org.eclipse.ui.console/src/org/eclipse/ui/internal/console/ConsolePageParticipantExtension.java | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/ConsolePageParticipantExtension.java b/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/ConsolePageParticipantExtension.java index f0cd6db59..92d16e267 100644 --- a/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/ConsolePageParticipantExtension.java +++ b/org.eclipse.ui.console/src/org/eclipse/ui/internal/console/ConsolePageParticipantExtension.java @@ -33,17 +33,11 @@ public class ConsolePageParticipantExtension implements IPluginContribution { fConfig = config; } - /* (non-Javadoc) - * @see org.eclipse.ui.IPluginContribution#getLocalId() - */ @Override public String getLocalId() { return fConfig.getAttribute("id"); //$NON-NLS-1$ } - /* (non-Javadoc) - * @see org.eclipse.ui.IPluginContribution#getPluginId() - */ @Override public String getPluginId() { return fConfig.getContributor().getName(); |