Skip to main content
aboutsummaryrefslogtreecommitdiffstats
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>

Back to the top