A weird fix for race-conditions on closing async loaded source tabs

rohanrhu · Dec 17, 2022 · a8b7673 · a8b7673
1 parent 25fa011
commit a8b7673
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/frontend/components/FileTabs/js/FileTabs.js b/frontend/components/FileTabs/js/FileTabs.js
@@ -1143,7 +1143,11 @@
                     var switch_to = data.switches.pop();
 
                     if (switch_to) {
-                        data.switchFile({file: switch_to});
+                        if (switch_to == file) {
+                            data.switchFile({file: data.files[data.files.length-1]});
+                        } else {
+                            data.switchFile({file: switch_to});
+                        }
                     } else {
                         data.switchFile({file: data.files[0]});
                     }