Bugs item #703276, was opened at 2003-03-13 17:42
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=703276&group_id=44253
Category: Other
Group: Annoying
Status: Open
Resolution: None
Priority: 5
Submitted By: Greg Wilson (gvwilson)
Assigned to: Nobody/Anonymous (nobody)
Summary: Feature req: dynamic config reload
Initial Comment:
I would like to have a "reload" option on DrJava, so that
it could reload option files on the fly. That way, I could
(for example) store classpath information that is specific
to different projects in .drjava files in those projects'
folders, and reset my classpath simply by reloading the
file.
(Background: discussed with Charles Reis the fact that
the examples I'm using in my course are laid out as:
+ csc207
+ exmpl
+ ex01
- file01.java
- file02.java
+ ex02
- file03.java
- file04.java
/ subdir
- file05.java
+ lib
- jdom.jar
- werk.jar
So, the makefile in csc207/exmpl/ex01
puts "../../lib/jdom.jar" and "../../lib/werk.jar" in the
CLASSPATH, so that I can build wherever I've got stuff
checked out. Now I go to DrJava, and I want to use a
relative classpath --- but the browser tool for setting
classpaths seems to create absolute paths, and doesn't
save them anywhere, so I either (a) carry absolute paths
around between (what I think of as) projects, or (b) re-
enter paths each time I fire up DrJava. Dynamic reload
would fix this...)
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=703276&group_id=44253
|
