linuxmint/Cinnamon — pull request #783 by autarkper (2012-06-18 08:24:39+00:00)
Title: Scale workspace shift osd

This set of commits adds OSD for shifting workspaces when in Scale view (see issue #777). The number of changes is surprisingly small, because I was able to call the already available implementation in WindowManager.js, which I have duly made public. In the process I detected what looks like a copy-paste remnant ("this.overviewCorner"), which I boldly removed.