Hola @red71 !
El proceso general es abrir una aplicación llamada extensiones de Gnome o ejecutar gnome-extensions-app para habilitar o deshabilitar las extensiones.
Hola @red71 !
El proceso general es abrir una aplicación llamada extensiones de Gnome o ejecutar gnome-extensions-app para habilitar o deshabilitar las extensiones.