| <?xml version="1.0" encoding="UTF-8"?> |
| <?eclipse version="3.4"?> |
| <plugin> |
| <extension |
| point="org.eclipse.ui.commands"> |
| <command |
| categoryId="org.eclipse.ui.category.project" |
| defaultHandler="org.eclipse.upr.platform.java.ui.RunHandler" |
| id="org.eclipse.upr.platform.java.ui.command.run" |
| name="Run Jump"> |
| </command> |
| </extension> |
| |
| <extension |
| point="org.eclipse.ui.menus"> |
| <menuContribution |
| allPopups="false" |
| locationURI="popup:org.eclipse.jdt.ui.PackageExplorer"> |
| <command |
| commandId="org.eclipse.upr.platform.java.ui.command.run" |
| label="Run Jump"> |
| <visibleWhen checkEnabled="false"> |
| <with |
| variable="selection"> |
| <iterate |
| ifEmpty="false"> |
| <instanceof |
| value="org.eclipse.jdt.core.IJavaProject"> |
| </instanceof> |
| </iterate> |
| </with> |
| </visibleWhen> |
| </command> |
| </menuContribution> |
| </extension> |
| |
| </plugin> |
