2024-11-04 04:37:29 +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-11-04 04:37:29 +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
|
|
|
}
|
