view plugin.xml @ 9:935df68696c0 default tip

Reflection Code in eigene Klasse verschoben.
author Dirk Olmes <dirk.olmes@codedo.de>
date Thu, 15 Oct 2020 12:05:06 +0200
parents 778c251baa66
children
line wrap: on
line source

<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.4"?>
<plugin>
   <extension
         point="org.eclipse.ui.editors">
      <!-- 
          This editor is a drop in for the JDT's java editor. To make sure it works seamlessly with the rest of
          JDT it needs to be registered using the same ID as the JDT java editor.
      --> 
      <editor
            class="de.codedo.java.editor.CodedoJavaEditor"
            contributorClass="org.eclipse.jdt.internal.ui.javaeditor.CompilationUnitEditorActionContributor"
            default="false"
            filenames="*.java"
            icon="icons/jcu_obj.gif"
            id="org.eclipse.jdt.ui.CompilationUnitEditor"
            name="Java editor with custom icon"
            symbolicFontName="org.eclipse.jdt.ui.editors.textfont">
      </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>