diff 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
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/plugin.xml	Thu Oct 23 22:20:08 2014 +0200
@@ -0,0 +1,45 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<?eclipse version="3.4"?>
+<plugin>
+   <extension
+         point="org.eclipse.ui.editors">
+      <editor
+            class="de.codedo.java.editor.CodedoJavaEditor"
+            default="false"
+            filenames="*.java"
+            id="de.codedo.java.editor.javaEditor"
+            name="Java editor (custom icon)">
+      </editor>
+   </extension>
+   <extension
+         point="org.eclipse.ui.commands">
+      <command
+            id="de.codedo.java.editor.command.toggleTitleImage"
+            name="Toggle editor icon">
+      </command>
+   </extension>
+   <extension
+         point="org.eclipse.ui.handlers">
+      <handler
+            class="de.codedo.java.editor.ToggleEditorIconHandler"
+            commandId="de.codedo.java.editor.command.toggleTitleImage">
+      </handler>
+   </extension>
+   <extension
+         point="org.eclipse.ui.menus">
+      <menuContribution
+            locationURI="toolbar:org.eclipse.ui.main.toolbar?after=additions">
+         <toolbar
+               id="de.codedo.java.editor.toolbar">
+            <command
+                  commandId="de.codedo.java.editor.command.toggleTitleImage"
+                  icon="icons/icon.png"
+                  id="de.codedo.java.editor.command.toolbar.toggleTitleImage"
+                  style="push"
+                  tooltip="Toggle editor icon">
+            </command>
+         </toolbar>
+      </menuContribution>
+   </extension>
+
+</plugin>