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

Author: rohanrhu

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]});
                     }