linuxmint/Cinnamon — pull request #835 by autarkper (2012-06-26 12:52:02+00:00)
Title: Cannot delete workspace using keyboard if NumLock is on

A follow-up to #792. Apparently, the NumLock key is a modifier, so one needs to be more specific about which modifiers are allowed or not.