Potential codemirror bug which occurs at least in the lintgutter:
On a right-click, Codemirror's lintgutter mousedown handler incorrectly resolves the cursor position to the click position, jumping to the top of the codemirror editor. It was introduced in commit b9de6c1 "Add errors to code cells" in waterproof-vscode, before the waterproof editor was split off: impermeable/waterproof-vscode@b9de6c1