reset top menu if build fails

js/dom/setup/setup_top_menu.js

@@ -45,6 +45,7 @@ module.exports = () => {
     if (err) {
       console.error(err);
       Toast.showErrorToast(err);
+      TopMenu.resetTopMenuButtons();
     }
   });
 

js/editor/index.js

@@ -77,6 +77,7 @@ function Editor(tracerManager) {
       });
     }
     Executor.executeData(tracerManager, data);
+    TopMenu.resetTopMenuButtons();
   });
 
   this.codeEditor.on('change', () => {