Welcome to the Power Users community on Codidact!
Power Users is a Q&A site for questions about the usage of computer software and hardware. We are still a small site and would like to grow, so please consider joining our community. We are looking forward to your questions and answers; they are the building blocks of a repository of knowledge we are building together.
Post History
I found that the GTK theme I use also has a settings.ini file, which sets gtk-primary-button-warps-slider to false. I wouldn't expect it to take precedence over the user specific file, but it does....
Answer
#1: Initial revision
I found that the GTK theme I use also has a `settings.ini` file, which sets _gtk-primary-button-warps-slider_ to false. I wouldn't expect it to take precedence over the user specific file, but it does. It is easy to edit a single file for your current theme; If you want to do it for all themes in one go, for convenience here is a command to find all `settings.ini` files for all your themes and enforce the _true_ value for that option: find "$HOME"/.themes "$XDG_DATA_HOME" -type f -name 'settings.ini' \ -exec sed -i.bak '/gtk-primary-button-warps-slider/s/=.*/=true/' {} + It creates `settings.ini.bak` backup files, so in case something goes wrong you can revert it. Also there is the system wide `/usr/share/themes` directory, but these are supposed to be intact since they are packaged by your GNU Linux distribution. Nothing prevents you from editing those files too with root access, though. [1]: https://wiki.parabola.nu/GTK%2B#Configuration