fix(mini.hipatterns): use extmark_opts instead of soft deprecated priority

This commit is contained in:
Evgeni Chasnovski 2023-10-22 15:14:56 +03:00
parent fa3170d422
commit dfbfadf8fa
No known key found for this signature in database
GPG key ID: BB32E27DDF942DFB

View file

@ -67,7 +67,7 @@ M.plugin = {
return hl return hl
end end
end, end,
priority = 2000, extmark_opts = { priority = 2000 },
} }
end end
require("mini.hipatterns").setup(opts) require("mini.hipatterns").setup(opts)