linuxmint/Cinnamon — pull request #965 by autarkper (2012-07-24 17:00:58+00:00)
Title: Scale: workspaceThumbnail.js doesn't seem to do anything, could be removed

It seems that workspaceThumbnail.js is redundant. This patch tentatively blanks out the whole file and removes all (limited) usage of it, with no visible ill effects.