Linux Mint developer releases Cinnamon 1.3

The settings tool is more compact
Source: cinnamon.linuxmint.com The lead developer of Linux Mint, Clement Lefebvre, has released version 1.3 of the Cinnamon desktop environment. This is the first major update of the user interface based on code from the GNOME shell and which was first considered "stable" with version 1.2. In Cinnamon 1.3, all panel components are applets which means, for example, that users can remove a menu or window list and replace it with alternative third-party applets. All applets can also be moved using drag & drop so that users have even more control over where to position them.

The developers say that the Cinnamon settings tool now makes more effective use of the available space and offers a variety of new features – including options for configuring fonts, windows, desktop icons, mouse pointers and GTK+ themes. The menu's search feature now returns more comprehensive results, and workspace navigation is now possible in scale mode.

The release announcement also mentions "multiple bug fixes", but no details are given. Developer notes describing how to adapt applets, extensions and themes written for Cinnamon 1.2 in such a way that they work with the new version are provided.

(ehe)