Community Company Search Contact

plugin.xml from DrJava at Krugle

Show plugin.xml syntax highlighted

<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.0"?>
<plugin
   id="edu.rice.cs.drjava"
   name="DrJava"
   version="@ECLIPSE_VERSION@"
   provider-name="Rice University"
   class="edu.rice.cs.drjava.plugins.eclipse.EclipsePlugin">

   <runtime>
      <library name="drjava-eclipse.jar"/>
   </runtime>
   <requires>
      <import plugin="org.eclipse.core.resources"/>
      <import plugin="org.eclipse.ui"/>
      <import plugin="org.eclipse.debug.ui"/>
      <import plugin="org.eclipse.jdt.ui"/>
      <import plugin="org.eclipse.jdt.core"/>
      <import plugin="org.eclipse.ui.console"/>
      <import plugin="org.eclipse.core.runtime.compatibility"/>
      <import plugin="org.eclipse.search"/>
   </requires>


   <extension
         point="org.eclipse.ui.views">
      <category
            name="DrJava"
            id="edu.rice.cs.drjava">
      </category>
      <view
            name="Interactions Pane"
            icon="icons/drjava16.gif"
            category="edu.rice.cs.drjava"
            class="edu.rice.cs.drjava.plugins.eclipse.views.InteractionsView"
            id="edu.rice.cs.drjava.InteractionsView">
      </view>
   </extension>


   <extension
         point="org.eclipse.ui.perspectives">
      <perspective
            name="DrJava"
            icon="icons/drjava16.gif"
            class="edu.rice.cs.drjava.plugins.eclipse.DrJavaPerspective"
            id="edu.rice.cs.drjava.DrJavaPerspective">
      </perspective>
   </extension>
   <extension
         point="org.eclipse.ui.perspectiveExtensions">
      <perspectiveExtension
            targetID="org.eclipse.jdt.ui.JavaPerspective">
         <perspectiveShortcut
               id="edu.rice.cs.drjava.DrJavaPerspective">
         </perspectiveShortcut>
      </perspectiveExtension>
      <perspectiveExtension
            targetID="org.eclipse.debug.ui.DebugPerspective">
         <perspectiveShortcut
               id="edu.rice.cs.drjava.DrJavaPerspective">
         </perspectiveShortcut>
      </perspectiveExtension>
   </extension>

   <extension
         point="org.eclipse.ui.preferencePages">
      <page id="edu.rice.cs.drjava.Page1"
            class="edu.rice.cs.drjava.plugins.eclipse.DrJavaPreferencePage"
            name="DrJava">
      </page>
   </extension>

   <extension point="org.eclipse.ui.fontDefinitions">
      <fontDefinition
         id="edu.rice.cs.drjava.InteractionsFont"
         label="DrJava Interactions Font"
         defaultsTo="org.eclipse.jdt.ui.editors.textfont">
         <description>
            The font used in DrJava's Interactions Pane.
         </description>
      </fontDefinition>
   </extension>

</plugin>

See more files for this project here

DrJava

DrJava is a lightweight programming environment for Java designed to foster test-driven software development. It includes an intelligent program editor, an interactions pane for evaluating program text, a source level debugger, and a unit testing tool.

Project homepage: http://sourceforge.net/projects/drjava
Programming language(s): Java
License: other

  META-INF/
    MANIFEST.MF
  icons/
    drjava16.gif
    drjava16.png
  LICENSE
  README
  drjava-eclipse.jar-goes-here
  plugin.xml