VSCode refactor#3234

Draft

RichDom2185 wants to merge 6 commits intomasterfrom

vscode-refactor

Commits on Jul 3, 2025

Use Immer for readability
RichDom2185
committed

Commits on Jul 14, 2025

Merge branch 'master' of https://github.com/source-academy/frontend into vscode-refactor
RichDom2185
committed