General

GNOME Tweak Tool – A tool for changing specialised or advanced GNOME3 settings

GNOME Tweak Tool is an application for changing the advanced settings of GNOME 3