[gnome-shell] Modal stack: fix handling of destroyed actors

[Giovanni Campagna <gcampagna src gnome org>]

commit f5e58c500fc0e67f68e8c71e9750c00f51d63fac
Author: Giovanni Campagna <gcampagna src gnome org>
Date:   Mon May 21 18:44:21 2012 +0200

    Modal stack: fix handling of destroyed actors
    
    Destroyed modal actors should be completely removed from the modal
    stack automatically, including leaving modality if needed.
    This allows for destroying modal dialogs without calling close().
    
    https://bugzilla.gnome.org/show_bug.cgi?id=619955

 js/ui/main.js |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/js/ui/main.js b/js/ui/main.js
index 501af04..0b12d75 100644
--- a/js/ui/main.js
+++ b/js/ui/main.js
@@ -683,7 +683,7 @@ function pushModal(actor, timestamp, options) {
     let actorDestroyId = actor.connect('destroy', function() {
         let index = _findModal(actor);
         if (index >= 0)
-            modalActorFocusStack.splice(index, 1);
+            popModal(actor);
     });
     let curFocus = global.stage.get_key_focus();
     let curFocusDestroyId;