Brian Hackett 78a56faa55 Followup fixes

2025-02-18 15:16:33 -08:00

..

chat

Add feedback button (#29)

2025-02-18 15:15:52 -08:00

editor/codemirror

More resilient preview script injection and postMessage communication (#12)

2025-02-04 20:45:18 +01:00

git

fix: introduce our own cors proxy for git import to fix 403 errors on isometric git cors proxy (#924)

2025-01-05 17:26:02 +05:30

header

Followup fixes

2025-02-18 15:16:33 -08:00

settings

Improve UI for viewing and changing problems (#15)

2025-02-10 20:18:54 -08:00

sidebar

Add feedback button (#29)

2025-02-18 15:15:52 -08:00

ui

Merge remote-tracking branch 'upstream/main'

2025-01-16 08:02:49 -08:00

workbench

Improve support for streaming simulation data to backend (#16)

2025-02-07 11:52:19 -08:00