comment: remove user mention highlight

This commit is contained in:
ObserverOfTime 2023-05-10 18:46:07 +03:00
parent 78b3a82293
commit f9cfd40c08

View file

@ -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))