2024-06-23 04:55:57 +03:00
|
|
|
{ ... }: {
|
2024-04-06 03:03:58 +03:00
|
|
|
text = ''
|
|
|
|
|
-- Open terminal window.
|
2024-06-23 04:55:57 +03:00
|
|
|
rekey_normal("<Leader>4", "<cmd>terminal<cr>")
|
2024-04-06 03:03:58 +03:00
|
|
|
|
|
|
|
|
-- Detach from terminal with Esc key.
|
|
|
|
|
rekey_terminal("<Esc>", "<C-\\><C-n>")
|
|
|
|
|
'';
|
|
|
|
|
}
|
