Bug#690669: possible patch from linux mint?

[Samuel Wolf]

Is this a possible patch for this bug in debian wheezy?
https://github.com/linuxmint/Cinnamon/issues/698#issuecomment-18414455