Add shortcut to change font size

2022-10-12 18:07:09 +02:00 · 2022-10-12 18:07:09 +02:00 · f1f509b38f
parent 61924ba95f
commit f1f509b38f
1 changed files with 4 additions and 1 deletions
--- a/home/modules/programs/my-kitty/default.nix
+++ b/home/modules/programs/my-kitty/default.nix
@ -69,7 +69,10 @@ with lib;
        }
      ];

-    keybindings = { };
+    keybindings = {
+      "ctrl+shift+equal" = "no_op"; # Not possible with a JIS keyboard
+      "ctrl+shift+^" = "change_font_size all +2.0"; # ... so use ^ instead
+    };
  };
 }