2022-02-26 14:44:52 +01:00
|
|
|
local wk = require("which-key")
|
2021-02-23 16:08:46 +01:00
|
|
|
|
2022-02-26 14:44:52 +01:00
|
|
|
local keys = {
|
2024-07-20 23:43:19 +02:00
|
|
|
{ "<leader><leader>", "<cmd>nohls<CR>", desc = "Clear search highlight" },
|
2022-02-26 14:44:52 +01:00
|
|
|
}
|
|
|
|
|
2024-07-20 23:43:19 +02:00
|
|
|
wk.add(keys)
|