linuxmint/Cinnamon — pull request #1144 by autarkper (2012-09-18 08:40:49+00:00)
Title: [WIP] Expo: Protect named workspaces against accidental deletion

It is now very easy to delete a workspace in Expo, by just pressing the Delete button. If the user has taken the trouble to name a workspace, this makes Cinnamon ask for confirmation before deleting a named workspace.

Caveat: This is work in progress. Keyboard input with the confirm dialog open goes not to the dialog but to Expo.