This repository has been archived by the owner on Sep 6, 2021. It is now read-only.

Fix bug #7300 (Prefs never saved again after opening ancestor folder of user prefs.json) #7376

Merged

peterflynn merged 1 commit into master from pflynn/fix-userprefs-writes

Apr 2, 2014

+40 −16

Merged

Fix bug #7300 (Prefs never saved again after opening ancestor folder of user prefs.json) #7376

- Fix bug #7300 (Prefs are never saved again after opening folder that

Workflow runs completed with no jobs