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
|
