
## Todo items for the playground

- [ ] switch to oxlint (dependency reduction)
- [x] sample files
- [x] codemirror migration
- [ ] make sample files available for import
  - workaround is to visit the file first
  - we can put them in the zip file and pull them over the IPC
- [x] make phone layout automatic
- [x] case split &c
- [x] move newt to a worker (shim + newt + listener)
- [x] tabs for source, compiler output
- [x] Show errors in editor
- [x] show tabs on rhs
- [x] publish / host on github
- [ ] multiple persistent files
- [x] kill return for autocomplete
- [x] save to url (copy from idris2-playground)
- [ ] click on url
- [ ] settings pane
  - compilation is now optional, what else do we need for newt?
- [ ] update docs for new icons (how do we get them in there...)
