Fixed reload bug

1 files changed, 7 insertions, 1 deletions

diff --git a/src/client/util/CurrentUserUtils.ts b/src/client/util/CurrentUserUtils.ts
index 7c048334e..4dca38b21 100644
--- a/src/client/util/CurrentUserUtils.ts
+++ b/src/client/util/CurrentUserUtils.ts
@@ -31,6 +31,7 @@ import { ScriptingGlobals } from "./ScriptingGlobals";
 import { ColorScheme, SettingsManager } from "./SettingsManager";
 import { UndoManager } from "./UndoManager";
 import { ImportElementBox } from "../views/nodes/importBox/ImportElementBox";
+import { DocumentManager } from "./DocumentManager";
 
 interface Button {
     // DocumentOptions fields a button can set
@@ -747,11 +748,16 @@ export class CurrentUserUtils {
     static setupContextMenuBtn(params:Button, menuDoc:Doc):Doc {
         const menuBtnDoc = DocListCast(menuDoc?.data).find(doc => doc.title === params.title);
         const subMenu = params.subMenu;
-        Doc.UserDoc().workspaceRecordings = new List<Doc>;
+        // Doc.UserDoc().workspaceRecordings = new List<Doc>;
+        if (Doc.UserDoc().currentRecording) {
+            Doc.RemFromMyOverlay(Doc.UserDoc().currentRecording);
+        }
         Doc.UserDoc().isRecording = false;
         Doc.UserDoc().isRecPlayback = false;
         Doc.UserDoc().currentRecording = undefined;
         Doc.UserDoc().isPlaybackPlaying = false;
+        Doc.UserDoc().isWorkspaceRecPlaying = false;
+        Doc.UserDoc().isWorkspaceRecPaused = false;
         if (!subMenu) { // button does not have a sub menu
             return this.setupContextMenuButton(params, menuBtnDoc);
         }