GNOME Tweaks
fornece essas configurações na guia Extensions
.
Alternativamente, abra seu navegador da web (Firefox / Chrome) e visite o link .
Você precisa instalar um complemento / extensão sugerido pela página da web, se não estiver instalado. Então você poderá acessar as configurações de todas as extensões instaladas.