Mercurial > hg > de.mpg.mpiwg.itgroup.digilib.plugin

annotate plugin.xml @ 22:7153018334a1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
preference hinzugefuegt
author dwinter
date Wed, 05 Jan 2011 12:29:11 +0100
parents 79a66ee101f5
children e5b16fea0387
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
7
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
1 <?xml version="1.0" encoding="UTF-8"?>
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
2 <?eclipse version="3.4"?>
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
3 <plugin>
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
4 <extension-point id="DigilibImageManipulation" name="DigilibImageManipulation" schema="schema/DigilibImageManipulation.exsd"/>
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
5 <extension
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
6 point="de.mpg.mpiwg.itgroup.digilib.plugin.DigilibImageManipulation">
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
7 <DigilibImageManipulation
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
8 class="de.mpg.mpiwg.itgroup.digilib.manipulator.extensions.MirrorHorizontal"
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
9 priority="1">
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
10 </DigilibImageManipulation>
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
11 </extension>
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
12 <extension
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
13 point="de.mpg.mpiwg.itgroup.digilib.plugin.DigilibImageManipulation">
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
14 <DigilibImageManipulation
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
15 class="de.mpg.mpiwg.itgroup.digilib.manipulator.extensions.MirrorVertical"
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
16 priority="2">
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
17 </DigilibImageManipulation>
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
18 </extension>
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
19 <extension
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
20 point="de.mpg.mpiwg.itgroup.digilib.plugin.DigilibImageManipulation">
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
21 <DigilibImageManipulation
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
22 class="de.mpg.mpiwg.itgroup.digilib.manipulator.extensions.Rotate"
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
23 priority="de.mpg.mpiwg.itgroup.digilib.plugin.DigilibImageManipulation3">
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
24 </DigilibImageManipulation>
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
25 </extension>
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
26 <extension
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
27 point="de.mpg.mpiwg.itgroup.digilib.plugin.DigilibImageManipulation">
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
28 <DigilibImageManipulation
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
29 class="de.mpg.mpiwg.itgroup.digilib.manipulator.extensions.ZoomArea"
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
30 priority="de.mpg.mpiwg.itgroup.digilib.plugin.DigilibImageManipulation4">
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
31 </DigilibImageManipulation>
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
32 </extension>
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
33 <extension
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
34 point="de.mpg.mpiwg.itgroup.digilib.plugin.DigilibImageManipulation">
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
35 <DigilibImageManipulation
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
36 class="de.mpg.mpiwg.itgroup.digilib.manipulator.extensions.ZoomFull"
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
37 priority="de.mpg.mpiwg.itgroup.digilib.plugin.DigilibImageManipulation5">
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
38 </DigilibImageManipulation>
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
39 </extension>
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
40 <extension
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
41 point="de.mpg.mpiwg.itgroup.digilib.plugin.DigilibImageManipulation">
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
42 <DigilibImageManipulation
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
43 class="de.mpg.mpiwg.itgroup.digilib.manipulator.extensions.ScaleUp"
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
44 priority="de.mpg.mpiwg.itgroup.digilib.plugin.DigilibImageManipulation6">
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
45 </DigilibImageManipulation>
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
46 </extension>
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
47 <extension
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
48 point="de.mpg.mpiwg.itgroup.digilib.plugin.DigilibImageManipulation">
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
49 <DigilibImageManipulation
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
50 class="de.mpg.mpiwg.itgroup.digilib.manipulator.extensions.ScaleDown"
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
51 priority="de.mpg.mpiwg.itgroup.digilib.plugin.DigilibImageManipulation7">
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
52 </DigilibImageManipulation>
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
53 </extension>
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
54 <extension
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
55 id="de.mpiwg.itgroup.textgrid.digilib.Viewer"
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
56 name="digilib viewer"
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
57 point="org.eclipse.ui.commands">
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
58 <command
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
59 description="ShowImage in Digilib"
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
60 id="de.mpg.mpiwg.itgroup.digilib.plugin.showImage"
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
61 name="ShowImage (digilib)">
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
62 </command>
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
63 </extension>
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
64 <extension
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
65 name="show Images"
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
66 point="org.eclipse.ui.menus">
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
67 <menuContribution
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
68 allPopups="true"
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
69 locationURI="popup:org.eclipse.ui.popup.any?after=additions">
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
70 <command
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
71 commandId="de.mpg.mpiwg.itgroup.digilib.plugin.showImage"
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
72 style="push">
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
73 </command>
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
74 </menuContribution>
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
75 </extension>
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
76 <extension
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
77 point="org.eclipse.ui.handlers">
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
78 <handler
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
79 class="de.mpg.mpiwg.itgroup.digilib.plugin.DigilibHandler"
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
80 commandId="de.mpg.mpiwg.itgroup.digilib.plugin.showImage">
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
81 </handler>
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
82 </extension>
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
83 <extension
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
84 point="de.mpg.mpiwg.itgroup.digilib.plugin.DigilibImageManipulation">
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
85 <DigilibImageManipulation
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
86 class="de.mpg.mpiwg.itgroup.digilib.manipulator.extensions.NextPage"
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
87 priority="de.mpg.mpiwg.itgroup.digilib.plugin.DigilibImageManipulation1">
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
88 </DigilibImageManipulation>
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
89 </extension>
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
90 <extension
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
91 point="de.mpg.mpiwg.itgroup.digilib.plugin.DigilibImageManipulation">
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
92 <DigilibImageManipulation
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
93 class="de.mpg.mpiwg.itgroup.digilib.manipulator.extensions.PrevPage"
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
94 priority="de.mpg.mpiwg.itgroup.digilib.plugin.DigilibImageManipulation2">
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
95 </DigilibImageManipulation>
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
96 </extension>
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
97 <extension
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
98 id="de.mpg.mpiwg.itgroup.digilib.plugin.digilibLinkEditor"
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
99 point="org.eclipse.ui.editors">
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
100 <editor
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
101 class="de.mpg.mpiwg.itgroup.digilib.plugin.editors.DigilibLinkEditorPart"
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
102 contributorClass="de.mpg.mpiwg.itgroup.digilib.plugin.editors.DigilibLinkEditorContributor"
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
103 default="false"
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
104 id="de.mpg.mpiwg.itgroup.digilib.plugin.digilibLinkEditor"
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
105 name="Digilib Link Editor">
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
106 </editor>
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
107 </extension>
22
7153018334a1 preference hinzugefuegt
dwinter
parents: 7
diff changeset
108 <extension
7153018334a1 preference hinzugefuegt
dwinter
parents: 7
diff changeset
109 point="org.eclipse.ui.preferencePages">
7153018334a1 preference hinzugefuegt
dwinter
parents: 7
diff changeset
110 <page
7153018334a1 preference hinzugefuegt
dwinter
parents: 7
diff changeset
111 class="de.mpg.mpiwg.itgroup.digilib.plugin.WorkbenchPreferencePage"
7153018334a1 preference hinzugefuegt
dwinter
parents: 7
diff changeset
112 id="de.mpg.mpiwg.itgroup.digilib.plugin.page1"
7153018334a1 preference hinzugefuegt
dwinter
parents: 7
diff changeset
113 name="Digilib viewer">
7153018334a1 preference hinzugefuegt
dwinter
parents: 7
diff changeset
114 </page>
7153018334a1 preference hinzugefuegt
dwinter
parents: 7
diff changeset
115 </extension>
7
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
116
79a66ee101f5 first release (continued)
dwinter
parents:
diff changeset
117 </plugin>