Curiosamente, los usuarios que buscan personalizar su escritorio
Gnome shell, la gran mayoría, quieren que se parezca a la antigua versión de este entorno, sobre todo su menú global, las notificaciones en la barra o la propia “barra de abajo”.
Por supuesto, siempre podemos quedarnos con la versión clásica de este escritorio, pero también podemos aprovechar todo su potencial utilizando diferentes
extensiones. Algunas de ellas pueden ayudarnos a acercar e incluso mejorar su usabilidad, como es el caso de Panel Docklet.
Docklet, es eso, un
dock que dentro de su simpleza, es altamente configurable, pudiéndose situar en casi cualquier sitio de nuestro escritorio, incluso, un poquito más a la derecha…
Este mini-dock, no tiene nada que envidiar a lanzadores de otro tipo si lo que buscamos es sencillez y tiene un menú tan completo, que seguro que te sorprende.
Si te parece que tiene buena pinta, diviértete configurándolo.
Descárgalo desde
este enlace
