mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-28 03:01:57 +02:00
Code Issues Packages Projects Releases Wiki Activity

Fix typo

Browse Source
This commit is contained in:
Luflosi
2019-06-07 12:26:52 +02:00
parent 656916e0fa
commit e2226a1509
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
kitty/config_data.py
View File

@@ -618,7 +618,7 @@ window manager/operating system.
o('resize_debounce_time', 0.1, option_type=positive_float, long_text=_(''' o('resize_debounce_time', 0.1, option_type=positive_float, long_text=_('''
The time (in seconds) to wait before redrawing the screen when a The time (in seconds) to wait before redrawing the screen when a
resize event is received. On platforms such as macOS, where the 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.''')) of a resize, this number is ignored.'''))