blob: 680727b3b90f86c790edf299538e0614d0ece53d (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
|
<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.4"?>
<plugin>
<!-- View contributions -->
<extension point="org.eclipse.ui.views">
<view
category="org.eclipse.tm.te.ui.views.category"
class="org.eclipse.tm.te.ui.terminals.view.TerminalsView"
icon="platform:/plugin/org.eclipse.ui.console/icons/full/eview16/console_view.gif"
id="org.eclipse.tm.te.ui.terminals.TerminalsView"
name="%TerminalsView.name">
</view>
</extension>
<!-- Perspective extension contributions -->
<extension point="org.eclipse.ui.perspectiveExtensions">
<perspectiveExtension targetID="*">
<view
id="org.eclipse.tm.te.ui.terminals.TerminalsView"
minimized="false"
relationship="stack"
relative="org.eclipse.ui.views.TaskList"
visible="false">
</view>
</perspectiveExtension>
</extension>
<!-- Terminal connector contributions -->
<extension point="org.eclipse.tm.terminal.terminalConnectors">
<connector
class="org.eclipse.tm.te.ui.terminals.process.ProcessConnector"
hidden="true"
id="org.eclipse.tm.te.ui.terminals.ProcessConnector"
name="%TerminalConnector.process"/>
<connector
name="%TerminalConnector.streams"
id="org.eclipse.tm.te.ui.terminals.StreamsConnector"
hidden="true"
class="org.eclipse.tm.te.ui.terminals.streams.StreamsConnector"/>
</extension>
<!-- Preferences contributions -->
<extension point="org.eclipse.core.runtime.preferences">
<initializer class="org.eclipse.tm.te.ui.terminals.internal.PreferenceInitializer"/>
</extension>
</plugin>
|