ref: e2add4185cf1e3639b7a320384098d63dc2f3d67
parent: 6c66e2b2de63b6a8159835516ee229bda3253bc2
author: Simon Tatham <anakin@pobox.com>
date: Sun Apr 23 07:00:58 EDT 2023
GTK: add a command-line --delete-prefs option. If you want to remove your saved preferences for a puzzle for any reason (perhaps because of one of those unsympathetic managers, or perhaps because it's become corrupted in some way), you can of course manually go and find the config file and delete it. But if you're not sure where it is, it's helpful to have a method of telling the puzzle itself to delete the config file. Perhaps it would be useful to expose this in the GUI as well, though I'm not quite sure where is the best place to put it. (_Perhaps_ it would also be useful to have a more thorough option that deleted _all_ puzzles' configurations - although that would involve telling every separate puzzle binary in this collection what all the other ones' names are, which would be an entirely new build headache.)