diff options
| author | Darin Swanson | 2006-02-21 22:17:15 +0000 |
|---|---|---|
| committer | Darin Swanson | 2006-02-21 22:17:15 +0000 |
| commit | c95d461547b4a19812a7d8976a54c667210b776d (patch) | |
| tree | 123aea8954528399d31104e23ed464c7ac5200c4 /org.eclipse.ui.externaltools | |
| parent | b8abfc8cff79e693864cd80b1676c2da6f105770 (diff) | |
| download | eclipse.platform.debug-c95d461547b4a19812a7d8976a54c667210b776d.tar.gz eclipse.platform.debug-c95d461547b4a19812a7d8976a54c667210b776d.tar.xz eclipse.platform.debug-c95d461547b4a19812a7d8976a54c667210b776d.zip | |
Bug 128493 - Organize manifests
Diffstat (limited to 'org.eclipse.ui.externaltools')
| -rw-r--r-- | org.eclipse.ui.externaltools/plugin.properties | 9 | ||||
| -rw-r--r-- | org.eclipse.ui.externaltools/plugin.xml | 2 |
2 files changed, 2 insertions, 9 deletions
diff --git a/org.eclipse.ui.externaltools/plugin.properties b/org.eclipse.ui.externaltools/plugin.properties index 3aa242bdb..7611c0ced 100644 --- a/org.eclipse.ui.externaltools/plugin.properties +++ b/org.eclipse.ui.externaltools/plugin.properties @@ -1,5 +1,5 @@ ############################################################################### -# Copyright (c) 2000, 2005 IBM Corporation and others. +# Copyright (c) 2000, 2006 IBM Corporation and others. # All rights reserved. This program and the accompanying materials # are made available under the terms of the Eclipse Public License v1.0 # which accompanies this distribution, and is available at @@ -17,22 +17,15 @@ build_project.description= Returns the absolute file system path of the project system_path.description= Returns the absolute file system path of the external tool. Resolved by finding the first occurrence of the named tool based on the system path specification. The tool name must be supplied as an argument. ExtPoint.configurationDuplicationMaps = Launch Configuration Duplication Maps -ExtPoint.toolTypes = External Tool Types -ExtPoint.refreshVariables = Refresh Scope Variables ExternalToolsLaunchGroup.label = &External Tools ExternalToolsLaunchGroup.title = Select or configure an external tool to run Menu.run = &Run ActionSet.externalTools = External Tools Action.externalTools = &External Tools Action.externalToolsTip = Run Last Tool -PropertyPage.main = Main -PropertyPage.option = Options -PropertyPage.refresh = Refresh Scope -PropertyPage.antTargets = Targets PropertyPage.externalToolsBuilders = Builders Builder.externalTools = Integrated External Tool Builder -View.externalToolView = External Tools PreferencePage.externalToolsPreferences = External Tools Program.externalTools = Program diff --git a/org.eclipse.ui.externaltools/plugin.xml b/org.eclipse.ui.externaltools/plugin.xml index e5c153c26..6fcc635e3 100644 --- a/org.eclipse.ui.externaltools/plugin.xml +++ b/org.eclipse.ui.externaltools/plugin.xml @@ -167,7 +167,7 @@ label="%ExternalToolsLaunchGroup.label" bannerImage="$nl$/icons/full/wizban/ext_tools_wiz.gif" category="org.eclipse.ui.externaltools.builder" - image="icons/full/obj16/external_tools.gif" + image="$nl$/icons/full/obj16/external_tools.gif" public="false" mode="run" id="org.eclipse.ui.externaltools.launchGroup.builder"> |