Debe tener Extensiones de shell GNOME Para Linux

HistoryManager Prefijo Search es una extensión de GNOME Shell que permite a los usuarios utilizar las teclas Pasar RePág a fin de avanzar en HistoryManager.Para instalar esta extensión es necesario tener instalado GNOME Shell o canela. . Sin embargo,...

Icono Hider es una extensión de GNOME Shell que permite al usuario mostrar u ocultar los iconos del panel de GNOME superior.Para instalar esta extensión es necesario tener instalado GNOME Shell o canela. . Sin embargo, tenga en cuenta que no ha sido...

ignore_request_hide_titlebar es una extensión de GNOME Shell que se asegurará de que la barra de título no se ocultará cuando se maximizan las ventanas.Para instalar esta extensión es necesario tener instalado GNOME Shell o canela. . Sin embargo, tenga en...

La impaciencia es una extensión de GNOME Shell que le permite hacer la animación GNOME Shell mucho más rápido.Para instalar esta extensión es necesario tener instalado GNOME Shell o canela. . Sin embargo, tenga en cuenta que no ha sido probado con Canela ...

Indicador de estado de entrada-Method es una extensión de GNOME Shell que mostrará el estado de la entrada-métodos que utilizan IBus en el panel de GNOME 3.Para instalar esta extensión es necesario tener instalado GNOME Shell o canela. . Sin embargo,...

Funciones de fecha / hora islámicos es una extensión de GNOME Shell que agrega la fecha y la oración de la Hégira veces para el menú de la fecha de la GNOME & nbsp; 3 entorno de escritorio.Para instalar esta extensión es necesario tener instalado GNOME...

Indicador Jenkins CI Server es una extensión de GNOME Shell que podrá comprobar todas las tareas en ejecución y las conexiones desde su servidor Jenkins CI. Proporciona ajustes de auto-recarga y notificaciones en tiempo real.Para instalar esta extensión...

Jump Lists GNOME es un & nbsp; extensión Shell que agregar listas de salto con sede en Zeitgeist para aplicaciones.Para instalar esta extensión es necesario tener instalado GNOME Shell o canela. . Sin embargo, tenga en cuenta que no ha sido probado con...

Los espacios marcados es una extensión de GNOME Shell que pone etiquetas en los espacios de trabajo, etiquetarlos.Para instalar esta extensión es necesario tener instalado GNOME Shell o canela. . Sin embargo, tenga en cuenta que no ha sido probado con...

Lame Extensiones Manager es una extensión de GNOME Shell que permite a los usuarios activar o desactivar fácilmente y rápidamente extensiones de GNOME Shell instalados.Extensiones Lame Manager se fue probado y es compatible con GNOME & nbsp; Shell...