[DrJava] [ drjava-Bugs-703276 ] Feature req: dynamic config reload

[SourceForge.net <no...@so...>]

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