From b0f87077cc70f470e0680e0e932747dbe9df9c3b Mon Sep 17 00:00:00 2001
From: Laurenz <laurmaedje@gmail.com>
Date: Mon, 27 Mar 2023 17:25:01 +0200
Subject: [PATCH] Fix hovering over comments

---
 docs/src/general/changelog.md | 1 +
 src/ide/tooltip.rs            | 3 +++
 2 files changed, 4 insertions(+)

diff --git a/docs/src/general/changelog.md b/docs/src/general/changelog.md
index 19e895aed..ecb23efea 100644
--- a/docs/src/general/changelog.md
+++ b/docs/src/general/changelog.md
@@ -30,6 +30,7 @@ description: |
   [`location`]($func/locate) type
 - Added symbols for double, triple, and quadruple dot accent
 - Added smart quotes for Norwegian Bokmål
+- Fixed hovering over comments in web app
 
 ## March 21, 2023
 - Reference and bibliography management
diff --git a/src/ide/tooltip.rs b/src/ide/tooltip.rs
index b11074695..b17a1acc8 100644
--- a/src/ide/tooltip.rs
+++ b/src/ide/tooltip.rs
@@ -21,6 +21,9 @@ pub fn tooltip(
     cursor: usize,
 ) -> Option<Tooltip> {
     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))