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>