Details
-
Improvement
-
Status: Closed
-
Minor
-
Resolution: Won't Fix
-
None
-
None
-
None
Description
The session preferences should be saved in the same way as the (stored) preferences are saved.
The session preferences should be saved in the same way as the (stored) preferences are saved.