2024-12-18 09:40:11 +03:00
|
|
|
{ ... }:
|
|
|
|
let
|
|
|
|
focus = true;
|
|
|
|
in
|
|
|
|
{
|
|
|
|
text = ''
|
|
|
|
-- Toggle diagnostics window.
|
|
|
|
rekey_normal("<Leader>2", "<cmd>Trouble diagnostics toggle focus=${toString focus}<cr>")
|
2024-09-29 20:37:48 +03:00
|
|
|
|
2024-12-18 09:40:11 +03:00
|
|
|
-- Toggle To-do window.
|
|
|
|
rekey_normal("<Leader>3", "<cmd>Trouble todo toggle focus=${toString focus}<cr>")
|
|
|
|
'';
|
2024-04-06 03:03:58 +03:00
|
|
|
}
|