Extension Shortcuts 1.0

Atajos de extensión es una extensión de GNOME Shell que faculta a los usuarios tomar el control de sus complementos instalados, lo que les permite cambiar fácilmente las preferencias de extensión, instalar nuevas extensiones o navegar por otras...