From b0f87077cc70f470e0680e0e932747dbe9df9c3b Mon Sep 17 00:00:00 2001 From: Laurenz Date: Mon, 27 Mar 2023 17:25:01 +0200 Subject: Fix hovering over comments --- src/ide/tooltip.rs | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src') diff --git a/src/ide/tooltip.rs b/src/ide/tooltip.rs index b1107469..b17a1acc 100644 --- a/src/ide/tooltip.rs +++ b/src/ide/tooltip.rs @@ -21,6 +21,9 @@ pub fn tooltip( cursor: usize, ) -> Option { let leaf = LinkedNode::new(source.root()).leaf_at(cursor)?; + if leaf.kind().is_trivia() { + return None; + } named_param_tooltip(world, &leaf) .or_else(|| font_tooltip(world, &leaf)) -- cgit v1.2.3