Los responsables de este proyecto que ofrece un shell derivado de GNOME Shell con una filosofía «GNOME 2.x» siguen avanzando en el desarrollo, y acaban de anunciar la disponibilidad de Cinnamon 1.3.
En el anuncio oficial nos hablan de mejoras importantes en esta nueva versión, tales como las que afectan a los applets. De hecho afirman que «En Cinnamon 1.3, todo componente del panel es un applet«, lo que significa que podremos eliminar las barras de menú o las listas de tareas que vienen por defecto para sustituirlas por applets de terceras partes.
El panel de configuración también ha mejorado mucho con más características y nuevas pestañas, pudiendo configurar tipografías, iconos, temas gtk+, etc. El menú se ha visto optimizado con iconos de más tamaños, resultados más exhaustivos en las búsquedas y un mejor comportamiento al hacer hover con el puntero del ratón.
La nueva versión, eso sí, impone ciertas novedades a los que están realizando temas para Cinnamon 1.3, y que deben tener en cuenta para aprovechar las nuevas ventajas de Cinnamon 1.3. Algo parecido ocurre para los desarrolladores de extensiones -algunos se han quejado de que sus extensiones no funcionan bajo Cinnamon 1.3-, algo que explican en profundidad en el anuncio oficial, aquí.