comment(highlights): reduce user mention priority

This commit is contained in:
ObserverOfTime 2023-03-20 10:40:10 +02:00 committed by Amaan Qureshi
parent bc23db2515
commit 25b656a4b7

View file

@ -42,4 +42,5 @@
; User mention (@user)
("text" @constant @nospell
(#lua-match? @constant "^[@][a-zA-Z0-9_-]+$"))
(#lua-match? @constant "^[@][a-zA-Z0-9_-]+$")
(#set! "priority" 95))