linuxmint/Cinnamon — pull request #902 by autarkper (2012-07-12 15:31:30+00:00)
Title: Expo: Ensure that the same workspace is not removed twice - prevent crash

This fixes the crash that happens when the user attempts to remove the same workspace more than once. This can happen if the user presses the delete key rapidly many times in a row in Expo, due to the fact that Main._removeWorkspace is asynchronous.

The patch also moves the recalculation of the current thumbnail index closer to the point where thumbnails are destroyed.