-
Notifications
You must be signed in to change notification settings - Fork 31
Expand file tree
/
Copy pathdrjava-jedit.props
More file actions
32 lines (29 loc) · 1.46 KB
/
drjava-jedit.props
File metadata and controls
32 lines (29 loc) · 1.46 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
# DrJava Plugin Properties
plugin.edu.rice.cs.drjava.plugins.jedit.JEditPlugin.name=DrJava
plugin.edu.rice.cs.drjava.plugins.jedit.JEditPlugin.author=Rice University JavaPLT
plugin.edu.rice.cs.drjava.plugins.jedit.JEditPlugin.version=0.6
plugin.edu.rice.cs.drjava.plugins.jedit.JEditPlugin.depend.0=jedit 04.02.01.00
plugin.edu.rice.cs.drjava.plugins.jedit.JEditPlugin.depend.1=jdk 1.3
plugin.edu.rice.cs.drjava.plugins.jedit.JEditPlugin.activate=defer
# plugin.edu.rice.cs.drjava.plugins.jedit.JEditPlugin.docs=help.html
plugin.edu.rice.cs.drjava.plugins.jedit.JEditPlugin.jars=drjava-jedit.jar
plugin.edu.rice.cs.drjava.plugins.jedit.JEditPlugin.menu.label=DrJava
plugin.edu.rice.cs.drjava.plugins.jedit.JEditPlugin.menu=\
drjava-toggle \
- \
reset-interactions \
show-classpath
# load-interactions-history \
# save-interactions-history \
# clear-interactions-history
drjava.title=Interactions Pane
drjava.label=Interactions Pane
drjava-toggle.label=Toggle Interactions Pane
reset-interactions.label=Reset Interactions Pane
show-classpath.label=Show Interpreter Classpath
# load-interactions-history.label=Load Interactions History...
# save-interactions-history.label=Save Interactions History...
# clear-interactions-history.label=Clear Interactions History
# plugin.edu.rice.cs.drjava.plugins.jedit.JEditPlugin.option-pane=drjava-option-pane
# options.drjava-option-pane.label=DrJava
# options.drjava-option-pane.code=new edu.rice.cs.drjava.plugins.jedit.OptionPane()