From 70c8a089057f2c73ebeb5201fd59ee588f1c49d4 Mon Sep 17 00:00:00 2001 From: Laurenz Date: Sun, 12 Feb 2023 20:53:59 +0100 Subject: [PATCH] Fix hover tooltip in math --- src/ide/tooltip.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ide/tooltip.rs b/src/ide/tooltip.rs index 566eb5a3b..0796c09ef 100644 --- a/src/ide/tooltip.rs +++ b/src/ide/tooltip.rs @@ -38,7 +38,7 @@ fn expr_tooltip(world: &(dyn World + 'static), leaf: &LinkedNode) -> Option()?; - if !expr.hashtag() { + if !expr.hashtag() && !matches!(expr, ast::Expr::MathIdent(_)) { return None; }