Relacionado con la entrada anterior, tambien podemos instalar “indicator-workspaces”. Es un indicador para el panel que nos permite cambiar el número de escritorios y cambiar fácilmente entre ellos. Podemos descargar un paquete .deb desde aqui o ejecutar:
sudo add-apt-repository ppa:geod/ppa-geod
sudo apt-get update
sudo apt-get install indicator-workspaces
Despues para ejecutarlo escribimos:
indicator-workspaces &
O creamos una entrada en Sistema > Preferencias > Aplicaciones al inicio… para que se ejecute cada vez que iniciemos sesión.
3 Respuestas a “Indicator-workspaces: Controla el número y cambia entre los escritorios de tu sistema”