From d2db1381367381bcc2762d3d6e9159e0a95a7d6d Mon Sep 17 00:00:00 2001 From: Daniel Flanagan Date: Tue, 17 May 2022 10:37:44 -0500 Subject: [PATCH] Add font sizes for kitty for screensharing --- common/kitty/kitty.conf | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/common/kitty/kitty.conf b/common/kitty/kitty.conf index 29976cb..64cb14d 100644 --- a/common/kitty/kitty.conf +++ b/common/kitty/kitty.conf @@ -19,6 +19,10 @@ adjust_line_height 0 window_padding_width 10.0 window_margin_width 0.0 +map ctrl+shift+1 change_font_size all 12.5 +map ctrl+shift+2 change_font_size all 18.5 +map ctrl+shift+3 change_font_size all 26 + map ctrl+shift+equal change_font_size all +0.5 map ctrl+shift+minus change_font_size all -0.5 map shift+insert paste_from_clipboard