editor: Fix hover definition to immediately hide when move out. (#1309)

This commit is contained in:
Jason Lee 2025-09-30 11:29:59 +08:00 committed by GitHub
parent f92944546f
commit d5ae887cbb
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -112,11 +112,12 @@ impl InputState {
cx: &mut Context<InputState>,
) {
if event.modifiers.secondary() {
self.hover_popover = None;
self.handle_hover_definition(offset, window, cx);
} else {
self.hover_definition.clear();
self.hover_popover = None;
self.handle_hover_popover(offset, window, cx);
}
cx.notify();
}
}