Sin embargo, encontré este tutorial para configurar docky, y además agregarle efectos de minimizado, inclusive. Por razones de tiempo, no hablaré de la última opción, pero les dejo el link del tutorial para que le agreguen efectos. Pero de las opciones de docky si hablaremos
Cambia la posición de docky en el escritorio
Lo que tienes que hacer es abrir el editor de configuraciones de Gnome. Para esto hay dos opciones:
- Aplicaciones/Herramientas de Sistema/Editor de Configuración. A veces este acceso está oculto. Lo puedes agregar Editando tu menú
- Escribe ALT+F2 y pon gconf-editor. Así
Se abrirá el editor de configuración así:
Dirígete a las opciones de Docky navegando por Apps/Gnome-do/Preferences/Docky/Utilities/Dock Preferences. En este lugar aparecen opciones adicionales de docky. Aquí puedes cambiar la posición en el escritorio, cambiando
En Orientation cambias el nombre de Bottom a Top. ¡Y listo!:
Fácil, ¿no?
Cambia el tamaño de los iconos y el zoom
Bueno, el sistema es el mismo. Accede a las preferencias del docky siguiendo los pasos anteriores. Ahora en ZoomPercent puedes cambiar el valor, siendo 1 el mínimo y 3 el máximo. Yo lo dejé en 1.5 y quedó así:
Además en Zoom Size puedes cambiar la distancia entre los iconos cuando ocurre el zoom. Yo lo dejé tal cual, porque me gustaba como estaba :-)
Agregando animaciones a Gnome-do
Bueno amigos míos, estoy muy corto de tiempo, y no tuve oportunidad de probar esta opción. Pero si deseas probarlo, les dejo el link del tutorial para que lo puedan probar. Aquí una demostración:
Espero que les haya gustado este mini-tutorial. Agradecimientos a Genbeta y Web Upd8 por todo.
Vamos... sabemos que quieres comentar algo ;)