Acaba de ser anunciado en el sitio web oficial de Cinnamon el lanzamiento de la versión 1.3 de este excelente entorno de escritorio, o más bien, excelente Shell para Gnome.
De entrada las mejoras son relevantes. Ahora cada elemento importante del panel es un applet y podemos moverlos simplemente arrastrándolos con el ratón, en el lugar que queramos.
El Gestor de Configuración de Cinnamon nos trae un montón de nuevas características y opciones. Ahora se puede utilizar para configurar las fuentes, ventanas, iconos de escritorio, el cursor, los temas Gtk.. Su interfaz gráfica ha cambiado también, para poder mostrar más información sin utilizar más espacio en pantalla.
El menú recibido las mejoras siguientes:
- Mejor tamaño de los iconos.
- Tamaño del menú fijo cuando el número de favoritos es elevado.
- Más resultados de la búsqueda exhaustiva
- Otras opciones con respecto al estado del menú cuando estamos sobre él.
Además de todo esto el tema visual se ha mejorado, y se han corregido varios errores existentes. Todas estas mejoras e incluso un tutorial para el manejo de applets lo podemos ver en este enlace.