Zoek in je programma "Tweaks". Dan zal je het vinden (wellicht met titel Gnome Tweaks"), want uit je uitvoer blijkt dat je het geïnstalleerd hebt. "Tweaks" is een afzonderlijk, "niet officieel" gereedschapje dat toelaat instellingen die standaard niet beschikbaar zijn, gemakkelijk te wijzigen.