linuxmint/Cinnamon — pull request #2112 by WChargin (2013-06-01 02:47:04+00:00)
Title: Typo fix in Desklet cinnamon-settings

Corrected this:

> Some desklets require the border/header to be always preset

to the following:

> Some desklets require the border/header to be always **present**

(emphasis of course not included)

Fixed in default `.py` file and in three English localizations.