Commit History

Author SHA1 Message Date
  Evan Chan 087a1ed50e fix `ui.codemirror` on JS UTF-16-based indexing (memoize JS length per char + bisect) (#4678) 3 weeks ago
  Falko Schindler a985cb170c Fix multi-cursor updates in `ui.codemirror` (#4702) 3 weeks ago
  Falko Schindler 31b8b1ccd8 Simplify change set processing for `ui.codemirror` (#4676) 1 month ago
  Falko Schindler 2cf863c43b Update JavaScript dependencies (#3654) 9 months ago
  Falko Schindler 5c444ff538 Raise Exception when awaiting JavaScript on auto-index page (#2983) 1 year ago
  Christoph Schorn 06f239a161 CodeMirror element (continued) (#2913) 1 year ago