From 6f1404d17b6bfbd80485b81d844e80164a61034a Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Thu, 17 Mar 2022 10:59:41 +0530 Subject: [PATCH] typo --- kitty/options/definition.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kitty/options/definition.py b/kitty/options/definition.py index 468973e98..1d924b3bb 100644 --- a/kitty/options/definition.py +++ b/kitty/options/definition.py @@ -2964,7 +2964,7 @@ the default shortcuts. opt('clear_all_shortcuts', 'no', option_type='clear_all_shortcuts', long_text=''' -You can have kitty remove all shortcut definition seen up to this point. Useful, +You can have kitty remove all shortcut definitions seen up to this point. Useful, for instance, to remove the default shortcuts. ''' )