Mercurial > hg > de.codedo.java.editor
comparison plugin.xml @ 0:ca07a15b6cc8
created a plugin that allows to set a custom icon on a java editor
author | Dirk Olmes <dirk@xanthippe.ping.de> |
---|---|
date | Thu, 23 Oct 2014 22:20:08 +0200 |
parents | |
children | 79c8c1f9fd7d |
comparison
equal
deleted
inserted
replaced
-1:000000000000 | 0:ca07a15b6cc8 |
---|---|
1 <?xml version="1.0" encoding="UTF-8"?> | |
2 <?eclipse version="3.4"?> | |
3 <plugin> | |
4 <extension | |
5 point="org.eclipse.ui.editors"> | |
6 <editor | |
7 class="de.codedo.java.editor.CodedoJavaEditor" | |
8 default="false" | |
9 filenames="*.java" | |
10 id="de.codedo.java.editor.javaEditor" | |
11 name="Java editor (custom icon)"> | |
12 </editor> | |
13 </extension> | |
14 <extension | |
15 point="org.eclipse.ui.commands"> | |
16 <command | |
17 id="de.codedo.java.editor.command.toggleTitleImage" | |
18 name="Toggle editor icon"> | |
19 </command> | |
20 </extension> | |
21 <extension | |
22 point="org.eclipse.ui.handlers"> | |
23 <handler | |
24 class="de.codedo.java.editor.ToggleEditorIconHandler" | |
25 commandId="de.codedo.java.editor.command.toggleTitleImage"> | |
26 </handler> | |
27 </extension> | |
28 <extension | |
29 point="org.eclipse.ui.menus"> | |
30 <menuContribution | |
31 locationURI="toolbar:org.eclipse.ui.main.toolbar?after=additions"> | |
32 <toolbar | |
33 id="de.codedo.java.editor.toolbar"> | |
34 <command | |
35 commandId="de.codedo.java.editor.command.toggleTitleImage" | |
36 icon="icons/icon.png" | |
37 id="de.codedo.java.editor.command.toolbar.toggleTitleImage" | |
38 style="push" | |
39 tooltip="Toggle editor icon"> | |
40 </command> | |
41 </toolbar> | |
42 </menuContribution> | |
43 </extension> | |
44 | |
45 </plugin> |