From c0d3fb77d32d8a7265e10acac4aec23b96dd476a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 1 Apr 2022 10:50:06 +0200
Subject: [PATCH] [ivette] ASTview: fixes marker hover when the mouse leaves
 the AST view.

---
 ivette/src/dome/renderer/text/editors.tsx | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ivette/src/dome/renderer/text/editors.tsx b/ivette/src/dome/renderer/text/editors.tsx
index 464a5e9922d..deea5d38e58 100644
--- a/ivette/src/dome/renderer/text/editors.tsx
+++ b/ivette/src/dome/renderer/text/editors.tsx
@@ -484,6 +484,7 @@ class CodeMirrorWrapper extends React.Component<TextProps> {
         onFocus={this.onFocus}
         onScroll={this.onScroll}
         onMouseMove={this.onMouseMove}
+        onMouseLeave={this.onMouseMove}
       />
     );
   }
-- 
GitLab