From 411f91b6b38cfc83a97f48e36c2c5318bd081979 Mon Sep 17 00:00:00 2001
From: krassowski <krassowski.michal@gmail.com>
Date: Fri, 18 Sep 2020 09:00:02 +0100
Subject: [PATCH] Remove the highlight when hovering over empty space

---
 packages/jupyterlab-lsp/src/features/hover.ts | 1 +
 1 file changed, 1 insertion(+)

diff --git a/packages/jupyterlab-lsp/src/features/hover.ts b/packages/jupyterlab-lsp/src/features/hover.ts
index 4f80952f7..d5b652180 100644
--- a/packages/jupyterlab-lsp/src/features/hover.ts
+++ b/packages/jupyterlab-lsp/src/features/hover.ts
@@ -322,6 +322,7 @@ export class HoverCM extends CodeMirrorIntegration {
 
     // if over an empty space in a line (and not over a token) then not worth checking
     if (target.classList.contains('CodeMirror-line')) {
+      this.remove_range_highlight();
       return;
     }