Fix editor deletion selection and typecheck#695

Open

RajPabnani03 wants to merge 3 commits into

athasdev:masterfrom

RajPabnani03:master

Commits on May 14, 2026

Add Factory AI company architecture for Athas

Raj Pabnani
authored and
Raj Pabnani
committed
Fix persistent selection after deletion in editor

Raj Pabnani
authored and
Raj Pabnani
committed

Commits on May 17, 2026

Fix font family escaping typecheck

Raj Pabnani
authored and
Raj Pabnani
committed