Until now, the "Manage..." button under the preference packs region of the General Preferences window was a stub, simply opening a file browser to the location of saved preference packs. This new PR adds a more useful interface for managing preference packs. It provides three main features:
- The ability to delete individual user-saved preference packs
- The ability to hide and unhide built-in packs, as well as those that are part of an Addon (Addons may contain multiple packs, this allows selectively hiding only some of them, without uninstalling the whole Addon)
- A shortcut to launch the Addon Manager with Preference Packs showing, so that they may be uninstalled, or more may be obtained