Separate state and highlighting frontiers
Since moving the highlighting frontier forward when doing things like getTokenAt is not safe at all. Also properly update highlighting frontier when a change happens.
Showing
- src/display/highlight_worker.js 11 additions, 9 deletionssrc/display/highlight_worker.js
- src/display/mode_state.js 1 addition, 1 deletionsrc/display/mode_state.js
- src/line/highlight.js 23 additions, 5 deletionssrc/line/highlight.js
- src/model/Doc.js 1 addition, 1 deletionsrc/model/Doc.js
- src/model/changes.js 2 additions, 2 deletionssrc/model/changes.js
- test/test.js 19 additions, 0 deletionstest/test.js
Loading
Please register or sign in to comment