[DrJava] [ drjava-Feature Requests-3081586 ] Store Preferences within Projects

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

Feature Requests item #3081586, was opened at 2010-10-05 12:31
Message generated for change (Tracker Item Submitted) made by mgricken
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438938&aid=3081586&group_id=44253

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: Project Facility
Group: None
Status: Open
Priority: 5
Private: No
Submitted By: Mathias Ricken (mgricken)
Assigned to: Nobody/Anonymous (nobody)
Summary: Store Preferences within Projects

Initial Comment:
One setting I often have to change from project to project is the indent size (DrJava uses 2, many other projects use 4). It would be nice to be able to associate certain values in the Preferences with a project, to store them when the project is saved, and to restore them when the project is loaded.

There are different ways of doing this. The simplest would probably be to just have a list of checkboxes, one for each preference item, and the current value of every checked preference item is stored in the project file when it is saved. When the project file is loaded again, the preference setting is updated to be the value stored in the project file.

The value of the preference item cannot be changed in the Project Properties dialog; setting the preferences is still done in the Preferences window. The Project Properties dialog just selects the preferences that are stored.

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

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