2022-02-26 14:44:52 +01:00
|
|
|
lua << EOF
|
|
|
|
|
local wk = require("which-key")
|
2021-02-23 16:08:46 +01:00
|
|
|
|
2022-02-26 14:44:52 +01:00
|
|
|
local keys = {
|
|
|
|
|
m = { "<cmd>silent! :make! | :redraw!<CR>", "Run make" },
|
|
|
|
|
["<leader>"] = { "<cmd>nohls<CR>", "Clear search highlight" },
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
wk.register(keys, { prefix = "<leader>" })
|
|
|
|
|
EOF
|
