Set timeout for new beforeunload

Some browsers, such as Safari, require some timeout. Otherwise, removing and readding the handler doesn't have effect. We should still refactor this behavior in the future.

Amends 4a14d43

Author: MrSerth

app/assets/javascripts/editor/editor.js

@@ -856,9 +856,11 @@ var CodeOceanEditor = {
             selected.instance.deselect_all();
             const downloadPath = selected.node.original.download_path;
             if (downloadPath) {
-                $(window).off("beforeunload");
+                $(window).off('beforeunload');
                 window.location = downloadPath;
-                $(window).one("beforeunload", this.unloadEverything.bind(this, App.synchronized_editor));
+                setTimeout(() => {
+                    $(window).one('beforeunload', this.unloadEverything.bind(this, App.synchronized_editor));
+                }, 250);
             }
         }.bind(this));
         $('#download-files').removeClass('d-none');

app/assets/javascripts/editor/submissions.js

@@ -102,11 +102,13 @@ CodeOceanEditorSubmissions = {
     const submission = await this.createSubmission('#download', null).catch(this.ajaxError.bind(this));
     if(!submission) return;
 
-    $(window).off("beforeunload");
+    $(window).off('beforeunload');
     // to download just a single file, use the following url
     // window.location = Routes.download_file_submission_url(submission.id, CodeOceanEditor.active_file.filename);
     window.location = Routes.download_submission_url(submission.id);
-    $(window).one("beforeunload", this.unloadEverything.bind(this, App.synchronized_editor));
+    setTimeout(() => {
+      $(window).one("beforeunload", this.unloadEverything.bind(this, App.synchronized_editor));
+    }, 250);
   },
 
   resetCode: function(initiator, onlyActiveFile = false) {

app/assets/javascripts/shell.js

@@ -132,9 +132,11 @@ $(document).on('turbo-migration:load', function () {
                 } else {
                     $(window).off('beforeunload');
                     window.location = downloadPath;
-                    $(window).one('beforeunload', function () {
-                        CodeOceanEditor.removeFileTreeEventHandlers(fileTree);
-                    })
+                    setTimeout(() => {
+                        $(window).one('beforeunload', function () {
+                            CodeOceanEditor.removeFileTreeEventHandlers(fileTree);
+                        })
+                    }, 250);
                 }
             }.bind(this));
             CodeOceanEditor.installFileTreeEventHandlers(fileTree);