linuxmint/Cinnamon — pull request #2712 by RavetcoFX (2013-12-09 07:55:33+00:00)
Title: Improved hotcorner settings module

This patch mainly opens up the configurable options of "overview-corner"

-Allow disabling hover mode while still having icon enabled
-Removed "disabled" function, instead "disabling" is now a per function option
-Changed "Expo" to "Workspace Selector" and "Scale" to "Window Selector" for easier understanding