From fb881b2eda210ddca81d75de4016c6bdb51744e0 Mon Sep 17 00:00:00 2001 From: Keith Simmons Date: Tue, 21 Jun 2022 10:37:59 -0700 Subject: [PATCH] hide hover on editor blur --- crates/editor/src/editor.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/crates/editor/src/editor.rs b/crates/editor/src/editor.rs index b579228fd9acf2bb5fa80ce05923e20085fd7225..3a761a0c2a2b0c85b77c35971e5f85ea1ad62839 100644 --- a/crates/editor/src/editor.rs +++ b/crates/editor/src/editor.rs @@ -5693,7 +5693,6 @@ impl View for Editor { map.set_font(style.text.font_id, style.text.font_size, cx) }); - // If the if font_changed { let handle = self.handle.clone(); cx.defer(move |cx| { @@ -5740,6 +5739,7 @@ impl View for Editor { self.buffer .update(cx, |buffer, cx| buffer.remove_active_selections(cx)); self.hide_context_menu(cx); + hide_hover(self, cx); cx.emit(Event::Blurred); cx.notify(); }