Statistics
| Revision:

root / tmp / org.txm.backtomedia.rcp / plugin.xml @ 2802

History | View | Annotate | Download (4.8 kB)

1
<?xml version="1.0" encoding="UTF-8"?>
2
<?eclipse version="3.4"?>
3
<plugin>  
4

    
5
   <extension
6
         id="application"
7
         point="org.eclipse.core.runtime.applications">
8
      <application>
9
         <run
10
               class="vlcplayerrcp.Application">
11
         </run>
12
      </application>
13
   </extension>
14
   <extension
15
         point="org.eclipse.ui.menus">
16
      <menuContribution
17
            locationURI="menu:menu.file?after=menu.file.separator.open">
18
         <command
19
               commandId="org.txm.backtomedia.commands.function.OpenVLCPlayer"
20
               style="push">
21
         </command>
22
      </menuContribution>
23
      <menuContribution
24
            locationURI="popup:org.txm.concordance.rcp.editors.ConcordanceEditor">
25
         <command
26
               commandId="org.txm.backtomedia.commands.function.BackToMedia"
27
               style="push">
28
         </command>
29
      </menuContribution>
30
      <menuContribution
31
            locationURI="menu:menu.help.plugins">
32
         <command
33
               commandId="org.txm.rcp.commands.OpenBrowser"
34
               label="%command.label"
35
               style="push">
36
            <parameter
37
                  name="org.txm.rcp.commands.commandParameter2"
38
                  value="https://groupes.renater.fr/wiki/txm-users/public/extensions#media_player">
39
            </parameter>
40
         </command>
41
      </menuContribution>
42
      <menuContribution
43
            locationURI="menu:menu.edit?after=org.txm.rcp.separator1">
44
         <command
45
               commandId="org.txm.backtomedia.commands.function.MediaPreferences"
46
               style="push">
47
            <visibleWhen
48
                  checkEnabled="false">
49
               <reference
50
                     definitionId="OneMainCorpusSelected">
51
               </reference>
52
            </visibleWhen>
53
         </command>
54
      </menuContribution>
55
      <menuContribution
56
            locationURI="popup:org.txm.edition.rcp.editors.SynopticEditionEditor">
57
         <command
58
               commandId="org.txm.backtomedia.commands.function.BackToMedia"
59
               style="push">
60
         </command>
61
      </menuContribution>
62
   </extension>
63
   <extension
64
         point="org.eclipse.ui.commands">
65
      <command
66
            defaultHandler="org.txm.backtomedia.commands.function.OpenVLCPlayer"
67
            description="%command.description"
68
            id="org.txm.backtomedia.commands.function.OpenVLCPlayer"
69
            name="%command.name">
70
      </command>
71
      <command
72
            defaultHandler="org.txm.backtomedia.commands.function.BackToMedia"
73
            id="org.txm.backtomedia.commands.function.BackToMedia"
74
            name="%command.name.0">
75
         <commandParameter
76
               id="corpus"
77
               name="corpus"
78
               optional="true">
79
         </commandParameter>
80
         <commandParameter
81
               id="text"
82
               name="text"
83
               optional="true">
84
         </commandParameter>
85
         <commandParameter
86
               id="word"
87
               name="word"
88
               optional="true">
89
         </commandParameter>
90
         <commandParameter
91
               id="time"
92
               name="time"
93
               optional="true">
94
         </commandParameter>
95
         <commandParameter
96
               id="start_time"
97
               name="start_time"
98
               optional="true">
99
         </commandParameter>
100
         <commandParameter
101
               id="end_time"
102
               name="end_time"
103
               optional="true">
104
         </commandParameter>
105
      </command>
106
      <command
107
            defaultHandler="org.txm.backtomedia.commands.function.MediaPreferences"
108
            id="org.txm.backtomedia.commands.function.MediaPreferences"
109
            name="%command.name.1">
110
      </command>
111
   </extension>
112
   <extension
113
         point="org.eclipse.ui.editors">
114
      <editor
115
            class="org.txm.backtomedia.editors.vlcplayer.VLCPlayerEditor"
116
            default="false"
117
            id="org.txm.backtomedia.editors.vlcplayer.VLCPlayerEditor"
118
            name="%editor.name">
119
      </editor>
120
   </extension>
121
   <extension
122
         point="org.eclipse.ui.bindings">
123
      <key
124
            commandId="org.txm.backtomedia.commands.function.BackToMedia"
125
            contextId="org.eclipse.ui.contexts.window"
126
            schemeId="org.txm.rcp.scheme"
127
            sequence="M1+M2+M">
128
      </key>
129
   </extension>
130
   <extension
131
         point="org.eclipse.ui.preferencePages">
132
      <page
133
            category="org.txm.rcp.preferences.UserPreferencePage"
134
            class="org.txm.backtomedia.preferences.BackToMediaPreferencePage"
135
            id="org.txm.backtomedia.preferences.BackToMediaPreferencePage"
136
            name="%page.name">
137
      </page>
138
   </extension>
139
   <extension
140
         point="org.eclipse.core.runtime.preferences">
141
      <initializer
142
            class="org.txm.backtomedia.preferences.BackToMediaPreferences">
143
      </initializer>
144
   </extension>
145

    
146
</plugin>