From 02b206eeb8d947c923ef856627d088fe1de43855 Mon Sep 17 00:00:00 2001 From: pagedown Date: Wed, 30 Nov 2022 00:20:32 +0800 Subject: [PATCH] Docs: Slightly adjust the description of tab_title_max_length Note the associated GitHub PR ID in the changelog. --- docs/changelog.rst | 2 +- kitty/options/definition.py | 14 +++++++------- 2 files changed, 8 insertions(+), 8 deletions(-) diff --git a/docs/changelog.rst b/docs/changelog.rst index c995dda53..a6173f1e4 100644 --- a/docs/changelog.rst +++ b/docs/changelog.rst @@ -57,7 +57,7 @@ Detailed list of changes - Wayland GNOME: Workaround for latest mutter release breaking full screen for semi-transparent kitty windows (:iss:`5677`) -- A new option :opt:`tab_title_max_length` to limit the length of tab titles +- A new option :opt:`tab_title_max_length` to limit the length of tab (:iss:`5718`) 0.26.5 [2022-11-07] diff --git a/kitty/options/definition.py b/kitty/options/definition.py index 398ae0f95..6003c2de4 100644 --- a/kitty/options/definition.py +++ b/kitty/options/definition.py @@ -1065,13 +1065,6 @@ margin between the tab bar and the contents of the current tab. ''' ) -opt('tab_title_max_length', '0', option_type='positive_int', - long_text=''' -The maximum number of characters a tab title can have. -A value of zero means that no limit is applied. -''' - ) - opt('tab_bar_style', 'fade', choices=('fade', 'hidden', 'powerline', 'separator', 'slant', 'custom'), ctype='!tab_bar_style', long_text=''' @@ -1162,6 +1155,13 @@ this is rendered. ''' ) +opt('tab_title_max_length', '0', option_type='positive_int', + long_text=''' +The maximum number of cells that can be used to render a tab. A value of zero +means that no limit is applied. +''' + ) + opt('tab_title_template', '"{fmt.fg.red}{bell_symbol}{activity_symbol}{fmt.fg.tab}{title}"', option_type='tab_title_template', long_text='''