[gnome-shell] [workspace] Ensure we emit drag-end if we're in a drag during a destroy

[Colin Walters <walters src gnome org>]

commit b7c6ec4b469ebf541e05ff0dd3d458349685bd0b
Author: Colin Walters <walters verbum org>
Date:   Thu Mar 18 16:39:11 2010 -0400

    [workspace] Ensure we emit drag-end if we're in a drag during a destroy
    
    Showing the window overlay relies on drag-end being emitted, so do so if we're
    in a drag.

 js/ui/workspace.js |    5 +++++
 1 files changed, 5 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index 522c251..e010e8d 100644
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -204,6 +204,11 @@ WindowClone.prototype = {
         if (this._zoomLightbox)
             this._zoomLightbox.destroy();
 
+        if (this._inDrag) {
+            this.emit('drag-end');
+            this._inDrag = false;
+        }
+
         this.disconnectAll();
     },