Statistics
| Revision:

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

History | View | Annotate | Download (4.1 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
         </command>
48
      </menuContribution>
49
   </extension>
50
   <extension
51
         point="org.eclipse.ui.commands">
52
      <command
53
            defaultHandler="org.txm.backtomedia.commands.function.OpenVLCPlayer"
54
            description="%command.description"
55
            id="org.txm.backtomedia.commands.function.OpenVLCPlayer"
56
            name="%command.name">
57
      </command>
58
      <command
59
            defaultHandler="org.txm.backtomedia.commands.function.BackToMedia"
60
            id="org.txm.backtomedia.commands.function.BackToMedia"
61
            name="%command.name.0">
62
         <commandParameter
63
               id="corpus"
64
               name="corpus"
65
               optional="true">
66
         </commandParameter>
67
         <commandParameter
68
               id="text"
69
               name="text"
70
               optional="true">
71
         </commandParameter>
72
         <commandParameter
73
               id="word"
74
               name="word"
75
               optional="true">
76
         </commandParameter>
77
         <commandParameter
78
               id="time"
79
               name="time"
80
               optional="true">
81
         </commandParameter>
82
      </command>
83
      <command
84
            defaultHandler="org.txm.backtomedia.commands.function.MediaPreferences"
85
            id="org.txm.backtomedia.commands.function.MediaPreferences"
86
            name="%command.name.1">
87
      </command>
88
   </extension>
89
   <extension
90
         point="org.eclipse.ui.editors">
91
      <editor
92
            class="org.txm.backtomedia.editors.vlcplayer.VLCPlayerEditor"
93
            default="false"
94
            id="org.txm.backtomedia.editors.vlcplayer.VLCPlayerEditor"
95
            name="%editor.name">
96
      </editor>
97
   </extension>
98
   <extension
99
         point="org.eclipse.ui.bindings">
100
      <key
101
            commandId="org.txm.backtomedia.commands.function.BackToMedia"
102
            contextId="org.eclipse.ui.contexts.window"
103
            schemeId="org.txm.rcp.scheme"
104
            sequence="M1+M2+M">
105
      </key>
106
   </extension>
107
   <extension
108
         point="org.eclipse.ui.preferencePages">
109
      <page
110
            category="org.txm.rcp.preferences.UserPreferencePage"
111
            class="org.txm.backtomedia.preferences.BackToMediaPreferencePage"
112
            id="org.txm.backtomedia.preferences.BackToMediaPreferencePage"
113
            name="%page.name">
114
      </page>
115
   </extension>
116
   <extension
117
         point="org.eclipse.core.runtime.preferences">
118
      <initializer
119
            class="org.txm.backtomedia.preferences.BackToMediaPreferences">
120
      </initializer>
121
   </extension>
122

    
123
</plugin>