| 26 | } |
| 27 | |
| 28 | interface TextMarker { |
| 29 | pos: CodeMirror.Position; |
| 30 | marker: CodeMirror.TextMarker<CodeMirror.Position>; |
| 31 | spanElement: HTMLSpanElement; |
| 32 | } |
| 33 | |
| 34 | // Helps simulate a typing as completed effect. Will only work on the same line. |
| 35 | function maybeUpdateTextMarker( |
nothing calls this directly
no outgoing calls
no test coverage detected