Playground enhancements

playground/TODO.md

@@ -2,8 +2,11 @@
 ## Todo items for the playground
 
 - [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
+- [ ] make phone layout automatic
 - [x] move newt to a worker (shim + newt + listener)
 - [x] tabs for source, compiler output
 - [x] Show errors in editor
@@ -13,3 +16,7 @@
 - [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
+