(code)
| 305 | } |
| 306 | } |
| 307 | onStateChanging(code) { |
| 308 | this.data.state = { |
| 309 | scroll: code.container.scroll, |
| 310 | selection: { |
| 311 | offset: code.selectionOffset, |
| 312 | length: code.selectionLength, |
| 313 | }, |
| 314 | }; |
| 315 | } |
| 316 | onTimeChanged(code) { |
| 317 | var scroller = code.container; |
| 318 | var t = Date.now(); |