From 6b0f6fdc49c79e2074c809e3a18fc859456382de Mon Sep 17 00:00:00 2001 From: t14 Date: Fri, 30 Aug 2024 16:11:09 +0200 Subject: [PATCH] kitty: map show_last_visited_command_output --- .config/kitty/kitty.conf | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/.config/kitty/kitty.conf b/.config/kitty/kitty.conf index 38e1f37..899b9d8 100644 --- a/.config/kitty/kitty.conf +++ b/.config/kitty/kitty.conf @@ -379,6 +379,12 @@ mouse_map ctrl+alt+left press grabbed,ungrabbed mouse_selection rectangle # terminal_select_modifiers shift mouse_map shift+left press grabbed,ungrabbed mouse_selection normal + +map f1 show_last_visited_command_output +#: Now, pressing F1 will cause the output of the last jumped to command or the +#: last mouse clicked command output to be opened in a pager for easy browsing. + + #: The modifiers to override mouse selection even when a terminal #: application has grabbed the mouse