From 9229af98b8b65a4d4b7b04c7ffb704d6db792f0b Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Sun, 27 Jul 2025 11:34:24 +0530
Subject: [PATCH] ...

---
 kitty/options/definition.py | 18 ++++++------------
 1 file changed, 6 insertions(+), 12 deletions(-)

diff --git a/kitty/options/definition.py b/kitty/options/definition.py
index 50a0d178c..0ac63c6b0 100644
--- a/kitty/options/definition.py
+++ b/kitty/options/definition.py
@@ -364,16 +364,14 @@
 supports all the :link:`CSS easing functions <https://developer.mozilla.org/en-US/docs/Web/CSS/easing-function>`.
 Note that turning on animations uses extra power as it means the screen is redrawn multiple times
 per blink interval. See also, :opt:`cursor_stop_blinking_after`.
-'''
-    )
+''')
 
 opt('cursor_stop_blinking_after', '15.0',
     option_type='positive_float', ctype='time',
     long_text='''
 Stop blinking cursor after the specified number of seconds of keyboard
 inactivity. Set to zero to never stop blinking.
-'''
-    )
+''')
 
 opt('cursor_trail', '0',
     option_type='positive_int', ctype='time-ms',
@@ -388,8 +386,7 @@
 for cursors that rapidly change their positions during UI updates in complex applications.
 See :opt:`cursor_trail_decay` to control the animation speed and :opt:`cursor_trail_start_threshold`
 to control when a cursor trail is started.
-'''
-    )
+''')
 
 opt('cursor_trail_decay', '0.1 0.4',
     option_type='cursor_trail_decay',
@@ -402,8 +399,7 @@
 decay time (maximum). The second value must be equal to or greater than the
 first value. Smaller values result in a faster decay of the cursor trail.
 Adjust these values to control how quickly the cursor trail fades away.
-''',
-    )
+''')
 
 opt('cursor_trail_start_threshold', '2',
     option_type='positive_int', ctype='int',
@@ -413,8 +409,7 @@
 cursor must move before the trail is started. When the cursor moves less than
 this threshold, the trail is skipped, reducing unnecessary cursor trail
 animation.
-'''
-    )
+''')
 
 opt('cursor_trail_color', 'none',
     option_type='to_color_or_none',
@@ -425,8 +420,7 @@
 background color. Otherwise, specify a color value (e.g., #ff0000 for red,
 or a named color like 'red'). This allows you to customize the appearance
 of the cursor trail independently of the cursor color.
-'''
-)
+''')
 
 egr()  # }}}