diff options
author | Lizzy Hunt <elizabeth.hunt@simponic.xyz> | 2024-03-09 21:51:22 -0700 |
---|---|---|
committer | Lizzy Hunt <elizabeth.hunt@simponic.xyz> | 2024-03-09 21:51:22 -0700 |
commit | 42838864af3503f85cabc5dbd73b98a64d20cded (patch) | |
tree | 48dd75f0b9fcdc1fb8ec6db5ac2bec0a36b9afe7 /src/engine/entities/FunctionBox.ts | |
parent | ce403459fa82025bd969d1938ed4034a10c2e751 (diff) | |
download | the-abstraction-engine-42838864af3503f85cabc5dbd73b98a64d20cded.tar.gz the-abstraction-engine-42838864af3503f85cabc5dbd73b98a64d20cded.zip |
prettier
Diffstat (limited to 'src/engine/entities/FunctionBox.ts')
-rw-r--r-- | src/engine/entities/FunctionBox.ts | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/engine/entities/FunctionBox.ts b/src/engine/entities/FunctionBox.ts index 0c9123e..dac2174 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)); @@ -88,10 +88,10 @@ export const makeLambdaTermHighlightComponent = (entity: Entity) => { } const code = entity.getComponent<LambdaTerm>( - ComponentNames.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(); |