plugin.xml 1.25 KB
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.4"?>
<plugin>
   <extension
         point="org.eclipse.ui.editors">
      <editor
            class="mjplugin.editors.MJEditor"
            default="false"
            extensions="mj"
            id="MJPlugin.MJEditor"
            name="MJ Editor">
      </editor>
13
14
15
16
17
18
19
20
21
22
23
   </extension>
   <extension
         id="minijava.problem"
         name="MiniJava Problem"
         point="org.eclipse.core.resources.markers">
          <super
          type="org.eclipse.core.resources.problemmarker">
      </super>
      <persistent
          value="true">
      </persistent>
24
   </extension>  
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
   <extension
         point="org.eclipse.ui.commands">
      <command
            defaultHandler="mjplugin.commands.RenameSymbolHandler"
            id="mjplugin.commands.RenameSymbol"
            name="Rename MiniJava-Symbol ...">
      </command>
   </extension>
      <extension
         point="org.eclipse.ui.menus">
       <menuContribution
            allPopups="true"
            locationURI="popup:org.eclipse.ui.popup.any?before=additions">
   	   <command  commandId="mjplugin.commands.RenameSymbol" style="push">
            
   </command>
      </menuContribution>
      
      
      
      
   </extension>
47
48

</plugin>