PluginManager is not saving pluginset. To reproduce: 1. Open PluginManager 2. click Manage tab 3. click Save Currently Checked Plugins Set icon 4. choose filename from save dialog 5. save file 6. open file, see that it is empty.