Details
-
Type: Improvement
-
Status: Closed
-
Priority: Major
-
Resolution: Fixed
-
Affects Version/s: None
-
Fix Version/s: 2.11.3.0
-
Component/s: None
-
Labels:None
Description
java has -Dpropertyname=value
gradle has -Ppropertyname=value
jalview should have --Ppropertyname=value
specifically for Cache properties.
These should only persist for the current session, and not affect the applicationProperties or storage thereof. They also shouldn't affect the values displayed in the Preferences pane (otherwise when it comes to saving some other changed preference the session property will overwrite the stored property).
If a Preference is changed, it should delete the session property and use the new changed property.
gradle has -Ppropertyname=value
jalview should have --Ppropertyname=value
specifically for Cache properties.
These should only persist for the current session, and not affect the applicationProperties or storage thereof. They also shouldn't affect the values displayed in the Preferences pane (otherwise when it comes to saving some other changed preference the session property will overwrite the stored property).
If a Preference is changed, it should delete the session property and use the new changed property.