I am experiencing the same issue with Mate and mintMenu on Ubuntu 12.04. Installing the package python-keybinder and the patch in comment #8 solves this issue.
I am experiencing the same issue with Mate and mintMenu on Ubuntu 12.04. Installing the package python-keybinder and the patch in comment #8 solves this issue.