Fix bug

Properly disable animations when control and stash option is not enabled

Author: notnotmax

.gitignore

@@ -34,3 +34,4 @@ yarn-error.log
 # emacs backup files
 
 *~
+yarn.lock

src/features/envVisualizer/EnvVisualizerAnimation.tsx

@@ -2,6 +2,7 @@ import { InstrType } from "js-slang/dist/ec-evaluator/types";
 
 import { AgendaStack, isInstr } from "./compactComponents/AgendaStack";
 import { AnimationItemComponent } from "./compactComponents/AnimationItemComponent";
+import EnvVisualizer from './EnvVisualizer';
 
 export class EnvVisualizerAnimation {
   private static animationEnabled = false;
@@ -61,7 +62,8 @@ export class EnvVisualizerAnimation {
   }
 
   static startAnimation(): void {
-    if (!EnvVisualizerAnimation.enableAnimations) {
+    if (!EnvVisualizerAnimation.animationEnabled || !EnvVisualizer.getAgendaStash()) {
+      EnvVisualizerAnimation.disableAnimations();
       return;
     }
     EnvVisualizerAnimation.disableAnimations();

src/features/envVisualizer/EnvVisualizerLayout.tsx

@@ -584,6 +584,7 @@ export class Layout {
                     EnvVisualizer.getAgendaStash() &&
                     Layout.stashComponent.draw()}
                   {EnvVisualizer.getCompactLayout() &&
+                    EnvVisualizer.getAgendaStash() &&
                     EnvVisualizerAnimation.getAnimationComponents().map(c => c.draw())}
                 </Layer>
               </Stage>