view 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 source

<?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>