Ah, as expected, it's [a GNOME-ism](https://git.gnome.org/browse/gtk+/commit/gtk/gtkenums.h?h=gtk-3-22&id=b6...).
Still, the setting I mentioned should work. I only tried it on the file in `~/.config/gtk-3.0`, maybe it would work with the global file.