Yehowshua/ZIm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Hide editor hovers when a menu is open

Browse source
This commit is contained in:
Conrad Irwin 2024-01-22 13:33:13 -07:00
parent c5465d26f8
commit 53b47c15ac
1 changed files with 6 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

8
crates/editor/src/element.rs
View file

@ -2153,14 +2153,18 @@ impl EditorElement {
.max(MIN_POPOVER_LINE_HEIGHT * line_height), // Apply minimum height of 4 lines .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, &snapshot,
&style, &style,
visible_rows, visible_rows,
max_size, max_size,
editor.workspace.as_ref().map(|(w, _)| w.clone()), editor.workspace.as_ref().map(|(w, _)| w.clone()),
cx, cx,
); )
};
let editor_view = cx.view().clone(); let editor_view = cx.view().clone();
let fold_indicators = cx.with_element_context(|cx| { let fold_indicators = cx.with_element_context(|cx| {