Ubuntu
gnome-tweak-tool package

  1. Bug #1710746
  2. Comment #5

Comment 5 for bug 1710746

Revision history for this message
Corey Kearney (snkiz-deactivatedaccount) wrote :

I've had a thought on this. Budgie is now doing the same thing even more aggressively than tweak.
https://bugs.launchpad.net/ubuntu/+source/budgie-desktop/+bug/1714692

What if you checked the key against the options tweak provides, if there's no match it's obviously been set by the user and should be left alone.