Merge pull request #187 from gautamkrishnar/patch-1

Updated setup_top_menu.js 

js/dom/setup/setup_top_menu.js

@@ -28,6 +28,7 @@ module.exports = () => {
   // control
 
   const $btnRun = $('#btn_run');
+  const $btnRunText=ap=$('#btn_run>span');
   const $btnTrace = $('#btn_trace');
   const $btnPause = $('#btn_pause');
   const $btnPrev = $('#btn_prev');
@@ -47,6 +48,9 @@ module.exports = () => {
       Toast.showErrorToast(err);
       TopMenu.resetTopMenuButtons();
     }
+    else {
+      $btnRunText.html("Rerun");
+    }
   });
 
   $btnPause.click(() => {