-
Notifications
You must be signed in to change notification settings - Fork 31
Expand file tree
/
Copy pathplugin.xml
More file actions
65 lines (59 loc) · 2.03 KB
/
plugin.xml
File metadata and controls
65 lines (59 loc) · 2.03 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.2"?>
<plugin>
<extension
point="org.eclipse.ui.views">
<category
name="DrJava"
id="edu.rice.cs.drjava">
</category>
<view
name="Interactions"
icon="icons/drjava16.png"
category="edu.rice.cs.drjava"
class="edu.rice.cs.drjava.plugins.eclipse.views.InteractionsView"
id="edu.rice.cs.drjava.plugins.eclipse.views.InteractionsView">
</view>
</extension>
<extension
point="org.eclipse.ui.perspectives">
<perspective
name="DrJava"
icon="icons/drjava16.png"
class="edu.rice.cs.drjava.plugins.eclipse.DrJavaPerspective"
id="edu.rice.cs.drjava.plugins.eclipse.DrJavaPerspective">
</perspective>
</extension>
<extension
point="org.eclipse.ui.perspectiveExtensions">
<perspectiveExtension
targetID="org.eclipse.jdt.ui.JavaPerspective">
<perspectiveShortcut
id="edu.rice.cs.drjava.plugins.eclipse.DrJavaPerspective">
</perspectiveShortcut>
</perspectiveExtension>
<perspectiveExtension
targetID="org.eclipse.debug.ui.DebugPerspective">
<perspectiveShortcut
id="edu.rice.cs.drjava.plugins.eclipse.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>