The gnome-tweak-tool allows to tweak some hidden settings in GTK3/GNOME3.

WWW: https://gitlab.gnome.org/GNOME/gnome-tweaks