From 77492d31cf80a074d19b3c63ecb2943239d03eca Mon Sep 17 00:00:00 2001 From: Philippe Proulx Date: Wed, 19 Dec 2018 11:42:40 -0500 Subject: [PATCH] `change_font_size current ...` changes the current OS window's font size Signed-off-by: Philippe Proulx --- kitty/config_data.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/kitty/config_data.py b/kitty/config_data.py index 610ad1187..8412dd866 100644 --- a/kitty/config_data.py +++ b/kitty/config_data.py @@ -169,14 +169,14 @@ Similarly, to switch back to the previous layout:: ''')], 'shortcuts.fonts': [ _('Font sizes'), _('''\ -You can change the font size for all top-level kitty windows at a time +You can change the font size for all top-level kitty OS windows at a time or only the current one. '''), _('''\ To setup shortcuts for specific font sizes:: map kitty_mod+f6 change_font_size all 10.0 -To setup shortcuts to change only the current window's font size:: +To setup shortcuts to change only the current OS window's font size:: map kitty_mod+f6 change_font_size current 10.0 ''')],