#152 Dynamic config reload
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...)
Logged In: YES
user_id=429731
Yes, a "Load Preferences" button on the Preferences window
would be useful. For one thing, it will help out until we
have support for project files, since users could save
config files in each of their project directories and load
them on the fly. It could also let users easily load config
files they might get from someone else, such as a
comprehensive set of Emacs key-bindings.