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

This commit is contained in:
Evgeni Chasnovski 2023-10-22 15:44:08 +03:00 committed by GitHub
parent fa3170d422
commit e55ab411b4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

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)