{ ... }: let focus = true; in { text = '' -- Toggle diagnostics window. rekey_normal("2", "Trouble diagnostics toggle focus=${toString focus}") -- Toggle To-do window. rekey_normal("3", "Trouble todo toggle focus=${toString focus}") ''; }