root / tmp / org.txm.backtomedia.rcp / plugin.xml @ 3097
Historique | Voir | Annoter | Télécharger (5,35 ko)
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 |
<menuContribution
|
63 |
locationURI="popup:org.txm.rcp.views.fileexplorer.Explorer?after=org.txm.rcp.commands.OpenBrowser"> |
64 |
<command
|
65 |
commandId="org.txm.backtomedia.commands.function.OpenVLCPlayer" |
66 |
style="push"> |
67 |
<visibleWhen
|
68 |
checkEnabled="false"> |
69 |
<reference
|
70 |
definitionId="OneFileSelected"> |
71 |
</reference>
|
72 |
</visibleWhen>
|
73 |
</command>
|
74 |
</menuContribution>
|
75 |
</extension>
|
76 |
<extension
|
77 |
point="org.eclipse.ui.commands"> |
78 |
<command
|
79 |
defaultHandler="org.txm.backtomedia.commands.function.OpenMediaPlayer" |
80 |
description="%command.description" |
81 |
id="org.txm.backtomedia.commands.function.OpenVLCPlayer" |
82 |
name="%command.name"> |
83 |
</command>
|
84 |
<command
|
85 |
defaultHandler="org.txm.backtomedia.commands.function.BackToMedia" |
86 |
id="org.txm.backtomedia.commands.function.BackToMedia" |
87 |
name="%command.name.0"> |
88 |
<commandParameter
|
89 |
id="corpus" |
90 |
name="corpus" |
91 |
optional="true"> |
92 |
</commandParameter>
|
93 |
<commandParameter
|
94 |
id="text" |
95 |
name="text" |
96 |
optional="true"> |
97 |
</commandParameter>
|
98 |
<commandParameter
|
99 |
id="word" |
100 |
name="word" |
101 |
optional="true"> |
102 |
</commandParameter>
|
103 |
<commandParameter
|
104 |
id="time" |
105 |
name="time" |
106 |
optional="true"> |
107 |
</commandParameter>
|
108 |
<commandParameter
|
109 |
id="start_time" |
110 |
name="start_time" |
111 |
optional="true"> |
112 |
</commandParameter>
|
113 |
<commandParameter
|
114 |
id="end_time" |
115 |
name="end_time" |
116 |
optional="true"> |
117 |
</commandParameter>
|
118 |
</command>
|
119 |
<command
|
120 |
defaultHandler="org.txm.backtomedia.commands.function.MediaPreferences" |
121 |
id="org.txm.backtomedia.commands.function.MediaPreferences" |
122 |
name="%command.name.1"> |
123 |
</command>
|
124 |
</extension>
|
125 |
<extension
|
126 |
point="org.eclipse.ui.editors"> |
127 |
<editor
|
128 |
class="org.txm.backtomedia.editors.vlcplayer.MediaPlayerEditor" |
129 |
default="false" |
130 |
id="org.txm.backtomedia.editors.vlcplayer.VLCPlayerEditor" |
131 |
name="%editor.name"> |
132 |
</editor>
|
133 |
</extension>
|
134 |
<extension
|
135 |
point="org.eclipse.ui.bindings"> |
136 |
<key
|
137 |
commandId="org.txm.backtomedia.commands.function.BackToMedia" |
138 |
contextId="org.eclipse.ui.contexts.window" |
139 |
schemeId="org.txm.rcp.scheme" |
140 |
sequence="M1+M2+M"> |
141 |
</key>
|
142 |
</extension>
|
143 |
<extension
|
144 |
point="org.eclipse.ui.preferencePages"> |
145 |
<page
|
146 |
category="org.txm.rcp.preferences.UserPreferencePage" |
147 |
class="org.txm.backtomedia.preferences.BackToMediaPreferencePage" |
148 |
id="org.txm.backtomedia.preferences.BackToMediaPreferencePage" |
149 |
name="%page.name"> |
150 |
</page>
|
151 |
</extension>
|
152 |
<extension
|
153 |
point="org.eclipse.core.runtime.preferences"> |
154 |
<initializer
|
155 |
class="org.txm.backtomedia.preferences.BackToMediaPreferences"> |
156 |
</initializer>
|
157 |
</extension>
|
158 |
|
159 |
</plugin>
|