[DrJava] [ drjava-Feature Requests-878010 ] would like to be able to save groups of settings

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

Feature Requests item #878010, was opened at 2004-01-15 20:28
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438938&aid=878010&group_id=44253

Category: User interface
Group: None
Status: Open
Priority: 5
Submitted By: Hal Perkins (hperkins)
Assigned to: Nobody/Anonymous (nobody)
Summary: would like to be able to save groups of settings

Initial Comment:
Situation: I've got a single laptop that I use as both a work 
machine and for presentations in class.  When I use DrJava 
for demos in class, I need to use larger fonts so the 
projected image is visible in the back of the room.  When 
I'm using it for work, I want regular-sized, smaller fonts so 
more information fits on the screen.

It would be very nice if there were some way to save sets 
of preference settings and switch rapidly between them, 
instead of having to change individual options one by one, 
and remember the particular settings used in each 
situation.

My particular situation only involves font settings, but it 
might be useful to implement this in a fairly general way so 
it doesn't restrict people to just a small, hard-wired set of 
preference settings that can be included in a saved set.

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438938&aid=878010&group_id=44253