The is no backend change, the feature is available as a gsetting key for some cycle which has been documented/shared on websites, discourse, etc. The change there is just to add a switch in the settings to change the gsettings key value, avoid having to find the document/use the command line to do the job
> Have the packages built successfully somewhere already? Could you provide some links to a PPA or logs?
I built it locally but we didn't have it in a ppa. I uploaded now but the builders have long queue due to the ongoing archive rebuild /launchpad. net/~ubuntu- desktop/ +archive/ ubuntu/ ppa/+build/ 19091117
https:/
> I assume you have tested this thoroughly too - was this dogfooded by other users as well?
Robert wrote the patch/tested it and I've given it a round of testing as well now
> Also, this will just require a new g-c-c, no changes to mutter needed, correct?
Correct. The patch is really minor, you can see it there /launchpadlibra rian.net/ 471901518/ gnome-control- center_ 1%3A3.36. 1-1ubuntu1_ 1%3A3.36. 1-1ubuntu2~ build1. diff.gz
https:/
The is no backend change, the feature is available as a gsetting key for some cycle which has been documented/shared on websites, discourse, etc. The change there is just to add a switch in the settings to change the gsettings key value, avoid having to find the document/use the command line to do the job