Modal stack: fix handling of destroyed actorswip/screen-shield-rebase1

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().

1 files changed, 1 insertions, 1 deletions

diff --git a/js/ui/main.js b/js/ui/main.js
index 8942de214..a9b6a2b6b 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;