| <?xml version="1.0" encoding="UTF-8"?> |
| <?eclipse version="3.4"?> |
| <plugin> |
| <extension |
| point="org.eclipse.ui.views"> |
| <view |
| allowMultiple="true" |
| category="org.eclipse.ui" |
| class="com.google.eclipse.terminal.local.ui.view.TerminalView" |
| icon="icons/terminal.gif" |
| id="com.google.eclipse.terminal.local.localTerminalView" |
| name="Local Terminal" |
| restorable="true"> |
| </view> |
| </extension> |
| <extension |
| point="org.eclipse.ui.perspectiveExtensions"> |
| <perspectiveExtension |
| targetID="*"> |
| <view |
| id="com.google.eclipse.terminal.local.localTerminalView" |
| minimized="false" |
| relationship="stack" |
| relative="org.eclipse.ui.console.ConsoleView"> |
| </view> |
| </perspectiveExtension> |
| </extension> |
| <extension |
| point="org.eclipse.ui.preferencePages"> |
| <page |
| category="com.google.eclipse.terminal.local.page.root" |
| class="com.google.eclipse.terminal.local.ui.preferences.ColorsAndFontsPreferencePage" |
| id="com.google.eclipse.terminal.local.page.colorsAndFonts" |
| name="Colors and Fonts"> |
| </page> |
| <page |
| class="com.google.eclipse.terminal.local.ui.preferences.RootPreferencePage" |
| id="com.google.eclipse.terminal.local.page.root" |
| name="Local Terminal"> |
| </page> |
| </extension> |
| <extension |
| point="org.eclipse.core.runtime.preferences"> |
| <initializer |
| class="com.google.eclipse.terminal.local.ui.preferences.PreferenceInitializer"> |
| </initializer> |
| </extension> |
| <extension |
| point="org.eclipse.ui.commands"> |
| <command |
| categoryId="org.eclipse.ui.category.views" |
| id="com.google.eclipse.terminal.local.open" |
| name="Open Terminal Here"> |
| </command> |
| </extension> |
| <extension |
| point="org.eclipse.ui.commandImages"> |
| <image |
| commandId="com.google.eclipse.terminal.local.open" |
| icon="icons/terminal.gif"> |
| </image> |
| </extension> |
| <extension |
| point="org.eclipse.ui.menus"> |
| <menuContribution |
| allPopups="false" |
| locationURI="popup:org.eclipse.ui.popup.any?after=group.open"> |
| <command |
| commandId="com.google.eclipse.terminal.local.open" |
| style="push"> |
| </command> |
| </menuContribution> |
| </extension> |
| <extension |
| point="org.eclipse.ui.handlers"> |
| <handler |
| class="com.google.eclipse.terminal.local.ui.command.OpenTerminalCommand" |
| commandId="com.google.eclipse.terminal.local.open"> |
| </handler> |
| </extension> |
| |
| </plugin> |