From 53b47c15ac53c4f3a44a27af6142d71e0581d098 Mon Sep 17 00:00:00 2001
From: Conrad Irwin <conrad.irwin@gmail.com>
Date: Mon, 22 Jan 2024 13:33:13 -0700
Subject: [PATCH] Hide editor hovers when a menu is open

---
 crates/editor/src/element.rs | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/crates/editor/src/element.rs b/crates/editor/src/element.rs
index eeb8263f30..ee40b8e478 100644
--- a/crates/editor/src/element.rs
+++ b/crates/editor/src/element.rs
@@ -2153,14 +2153,18 @@ impl EditorElement {
                     .max(MIN_POPOVER_LINE_HEIGHT * line_height), // Apply minimum height of 4 lines
             );
 
-            let hover = editor.hover_state.render(
+            let hover = if context_menu.is_some() {
+                None
+            } else {
+                editor.hover_state.render(
                 &snapshot,
                 &style,
                 visible_rows,
                 max_size,
                 editor.workspace.as_ref().map(|(w, _)| w.clone()),
                 cx,
-            );
+            )
+            };
 
             let editor_view = cx.view().clone();
             let fold_indicators = cx.with_element_context(|cx| {