From f9cfd40c08e1a505e728271a57960c387a9bf8f5 Mon Sep 17 00:00:00 2001
From: ObserverOfTime <chronobserver@disroot.org>
Date: Wed, 10 May 2023 18:46:07 +0300
Subject: [PATCH] comment: remove user mention highlight

---
 queries/comment/highlights.scm | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/queries/comment/highlights.scm b/queries/comment/highlights.scm
index 3d8bce56a..2161cb808 100644
--- a/queries/comment/highlights.scm
+++ b/queries/comment/highlights.scm
@@ -39,8 +39,3 @@
 ; Issue number (#123)
 ("text" @number
  (#lua-match? @number "^#[0-9]+$"))
-
-; User mention (@user)
-("text" @constant @nospell
- (#lua-match? @constant "^[@][a-zA-Z0-9_-]+$")
- (#set! "priority" 95))