Gnome can be configured with the Gnome tweak tool;
https://linuxhint.com/15_ways_custom...me_tweak_tool/
https://www.makeuseof.com/must-have-...linux-desktop/
I checked the extensions, so maybe I'm wrong, but I didn't see any extension to do what I want. thanks