Fixed mobile cse and stepper tool not running. (#2900)

source-academy · Apr 3, 2024 · 7ef667a · 7ef667a
1 parent d48834d
commit 7ef667a
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 2 deletions.
diff --git a/src/commons/mobileWorkspace/MobileWorkspace.tsx b/src/commons/mobileWorkspace/MobileWorkspace.tsx
@@ -198,6 +198,7 @@ const MobileWorkspace: React.FC<MobileWorkspaceProps> = props => {
         newTabId === SideContentType.mobileEditorRun &&
         !(
           prevTabId === SideContentType.substVisualizer ||
+          prevTabId === SideContentType.cseMachine ||
           prevTabId === SideContentType.autograder ||
           prevTabId === SideContentType.testcases
         )
@@ -207,12 +208,14 @@ const MobileWorkspace: React.FC<MobileWorkspaceProps> = props => {
         handleHideRepl();
       }
 
-      // Disable draggable REPL when on the files & stepper tab.
+      // Disable draggable REPL when on the files & stepper & cse tab.
       if (
         newTabId === SideContentType.folder ||
         newTabId === SideContentType.substVisualizer ||
+        newTabId === SideContentType.cseMachine ||
         (prevTabId === SideContentType.substVisualizer &&
-          newTabId === SideContentType.mobileEditorRun)
+          newTabId === SideContentType.mobileEditorRun) ||
+        (prevTabId === SideContentType.cseMachine && newTabId === SideContentType.mobileEditorRun)
       ) {
         setIsDraggableReplDisabled(true);
       } else {

diff --git a/src/commons/sideContent/SideContentHelper.ts b/src/commons/sideContent/SideContentHelper.ts
@@ -86,6 +86,13 @@ export const useSideContent = (location: SideContentLocation, defaultTab?: SideC
   const dispatch = useDispatch();
   const setSelectedTab = useCallback(
     (newId: SideContentType) => {
+      if (
+        (selectedTab === SideContentType.substVisualizer ||
+          selectedTab === SideContentType.cseMachine) &&
+        newId === SideContentType.mobileEditorRun
+      ) {
+        return;
+      }
       dispatch(visitSideContent(newId, selectedTab, location));
     },
     [dispatch, location, selectedTab]