Dear Maintainer,
The documentation here:
https://developer.gnome.org/gtk3/stable/GtkSettings.html#GtkSettings--gtk-
primary-button-warps-slider
indicates that the allowed values for gtk-primary-button-warps-slider are TRUE
or FALSE, however setting it to FALSE in .config/gtk-3.0/settings.ini results
in an error:
Key file contains key 'gtk-primary-button-warps-slider' which has a value that
cannot be interpreted.
Setting the value to 0 works, but the documentation is clear that FALSE should
be an alias for 0. This is obviously not the case.
Andrew.