Joe Politz
Joe Politz
VScode has its own definition of undo/redo that send direct updates to the `TextDocument` backing the editor. If CodeMirror _also_ listens to these, then they fight a bit; for example,...
- [ ] Open menu: - [ ] Images - [ ] Files - [ ] Loading programs from URLs (share and program) - [ ] Share -> Program transition...
Clicking on the interactions pane (near the prompt or below), causes a gray flash, and typing doesn't add text to the interactions prompt. Chrome 54.0.2840.66 iOS 9.3.4 IPad Air 2
- [ ] Implement components for error-display (highlights as prototype) - [ ] Especially CodeMirror snippet component - [ ] Also multi-highlighting, fixed highlighting (both modes) - [ ] Port...
- [ ] Hook for showing div for world (or make the world library handle it, ditto for plot) - [ ] Module imports for gdrive-js, my-gdrive, shared-gdrive - [...