From 120cebf39e6df4e18b7e88a2f94a06445d5e11c6 Mon Sep 17 00:00:00 2001
From: Simon Legner <Simon.Legner@gmail.com>
Date: Sun, 29 Aug 2021 11:24:28 +0200
Subject: [PATCH] Destroy modal dialog after callback

Fixes #528. Closes #529.
---
 js/ide.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/js/ide.js b/js/ide.js
index 26b8fe13..9d7eafed 100644
--- a/js/ide.js
+++ b/js/ide.js
@@ -160,10 +160,11 @@ var ide = new (function () {
         .click(
           (function (callback) {
             return function () {
-              $(element).remove();
               if (callback) {
                 callback();
               }
+              // destroy modal dialog after callback, see #528
+              $(element).remove();
             };
           })(button.callback)
         )