From de4f3fd2fe45478ffabc84f055592e11b119d0a4 Mon Sep 17 00:00:00 2001
From: Elizabeth Hunt <elizabeth.hunt@simponic.xyz>
Date: Mon, 11 Mar 2024 16:35:51 -0600
Subject: prettier, fix assets and css

---
 src/engine/entities/FunctionBox.ts | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

(limited to 'src/engine/entities/FunctionBox.ts')

diff --git a/src/engine/entities/FunctionBox.ts b/src/engine/entities/FunctionBox.ts
index 7b70567..4878c98 100644
--- a/src/engine/entities/FunctionBox.ts
+++ b/src/engine/entities/FunctionBox.ts
@@ -24,7 +24,7 @@ import { openModal, closeModal } from "../utils";
 
 export class FunctionBox extends Entity {
   private static spriteSpec: SpriteSpec = SPRITE_SPECS.get(
-    Sprites.FUNCTION_BOX
+    Sprites.FUNCTION_BOX,
   ) as SpriteSpec;
 
   constructor(gridPosition: Coord2D, code: string) {
@@ -40,8 +40,8 @@ export class FunctionBox extends Entity {
           width: FunctionBox.spriteSpec.width,
           height: FunctionBox.spriteSpec.height,
         },
-        0
-      )
+        0,
+      ),
     );
 
     this.addComponent(new Pushable());
@@ -57,8 +57,8 @@ export class FunctionBox extends Entity {
           height: FunctionBox.spriteSpec.height,
         },
         FunctionBox.spriteSpec.msPerFrame,
-        FunctionBox.spriteSpec.frames
-      )
+        FunctionBox.spriteSpec.frames,
+      ),
     );
 
     this.addComponent(new LambdaTerm(code));
@@ -69,7 +69,7 @@ export class FunctionBox extends Entity {
 
 export const makeLambdaTermHighlightComponent = (
   entity: Entity,
-  text?: string
+  text?: string,
 ) => {
   const onUnhighlight = () => {
     closeModal();
@@ -94,7 +94,7 @@ export const makeLambdaTermHighlightComponent = (
         text ??
         entity.getComponent<LambdaTerm>(ComponentNames.LambdaTerm)!.code;
       openModal(
-        `<div style="text-align:center"><p>${code}</p> <br> <button id="close">Close</button></div>`
+        `<div style="text-align:center"><p>${code}</p> <br> <button id="close">Close</button></div>`,
       );
       modalOpen = true;
       SOUNDS.get(ModalOpen.name)!.play();
-- 
cgit v1.2.3-70-g09d2