Maybe add a JSDoc here to specify the type of this field? It can look like
```javascript
/** @type {CodeMirror.SearchCursor} */
```
(I'm not actually sure about the type.)