autarkper/Cinnamon — pull request #1 by autarkper (2012-06-18 08:22:11+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, after making it public. In the process I detected what looks like a copy-paste remnant ("this.overviewCorner"), which I boldly removed.