Details
-
Bug
-
Resolution: Fixed
-
P2: Important
-
6.8
-
None
-
c4455f177 (dev)
Description
Currrently, we don't prefix the plugin name to the category for the settings file. It should be prefixed in the same way as we do prefix the commandline options.
This occurred for example for the Quick.property-changes-parsed category that you can disable via PropertyChangesParsed=disable in the settings and via --Quick.property-changes-parsed disable in the commandline