From e2226a1509c320daf43dcd601effc002d5f257f0 Mon Sep 17 00:00:00 2001 From: Luflosi Date: Fri, 7 Jun 2019 12:26:52 +0200 Subject: [PATCH] Fix typo --- kitty/config_data.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kitty/config_data.py b/kitty/config_data.py index 94b4c3d43..7564c943d 100644 --- a/kitty/config_data.py +++ b/kitty/config_data.py @@ -618,7 +618,7 @@ window manager/operating system. o('resize_debounce_time', 0.1, option_type=positive_float, long_text=_(''' The time (in seconds) to wait before redrawing the screen when a resize event is received. On platforms such as macOS, where the -operating system sends event corresponding to the start and end +operating system sends events corresponding to the start and end of a resize, this number is ignored.'''))