The gnome-tweak-tool allows to tweak some hidden settings in GTK3/GNOME3. WWW: https://gitlab.gnome.org/GNOME/gnome-tweaks