editor: Avoid trigger hover on selection. (#1287)

This commit is contained in:
Jason Lee 2025-09-25 15:50:12 +08:00 committed by GitHub
parent 8f5bff61fb
commit 16105da122
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -28,6 +28,10 @@ impl InputState {
window: &mut Window,
cx: &mut Context<InputState>,
) {
if self.selecting {
return;
}
let Some(provider) = self.lsp.hover_provider.clone() else {
return;
};