Closed weisJ closed 4 years ago
Sure thing. I'll pull this tomorrow and let you know if everything is in order.
Sorry for the long response time. I'm dual-booting Windows and Pop!_OS and the latter side has become unstable. I'm unable to boot into Pop for some reason. Sorry for the hold-up. I'll try this out as soon as is possible.
Just managed to get into it again. Checked out this branch and pulled the changes. Theme guessing (the default) works as well as setting the themes manually. Graying out the GTK theme choices still occurs when the "Guess light/dark theme based on name" box is ticked. I also tested whether high contrast detection works and it behaved as expected. Everything looks good.
The mechanism for controlling whether a property is active wasn't really desirable. This PR approaches the problem. It also allows for whole groups to be enabled/disabled through the addition of nested groups. The new mechanism made it possible to have the controls for whether the IDE/Editor theme is changed without much boilerplate code.
@IncPlusPlus Could you check, that the Gnome settings still behave as expected?