[gnome-shell/wip/screen-shield-rebase1: 6/6] Modal stack: fix handling of destroyed actors

[Giovanni Campagna <gcampagna src gnome org>]

commit 352ad8f558626c98711d9f726eea656a83489dc3
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().

 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 8942de2..a9b6a2b 100644
--- a/js/ui/main.js
+++ b/js/ui/main.js
@@ -668,7 +668,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;