KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Allow using set_tab_title without a pre-filled title. Fixes #6217

Browse Source
This commit is contained in:
Kovid Goyal 2023-04-28 10:14:25 +05:30
parent 8ebe4084cc
commit 09ebdcd809
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 9 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
kitty/boss.py
View File

@ -1812,7 +1812,8 @@ class Boss:
'tab', ''' 'tab', '''
Change the title of the active tab interactively, by typing in the new title. Change the title of the active tab interactively, by typing in the new title.
If you specify an argument to this action then that is used as the title instead of asking for it. If you specify an argument to this action then that is used as the title instead of asking for it.
Use the empty string ("") to reset the title to default. For example:: Use the empty string ("") to reset the title to default. Use a space (" ") to indicate that the
prompt should not be pre-filled. For example::
# interactive usage # interactive usage
map f1 set_tab_title map f1 set_tab_title
@ -1820,19 +1821,24 @@ class Boss:
map f2 set_tab_title some title map f2 set_tab_title some title
# reset to default # reset to default
map f3 set_tab_title "" map f3 set_tab_title ""
# interactive usage without prefilled prompt
map f3 set_tab_title " "
''' '''
) )
def set_tab_title(self, title: Optional[str] = None) -> None: def set_tab_title(self, title: Optional[str] = None) -> None:
tab = self.active_tab tab = self.active_tab
if tab: if tab:
if title is not None: if title is not None and title not in ('" "', "' '"):
if title in ('""', "''"): if title in ('""', "''"):
title = '' title = ''
tab.set_title(title) tab.set_title(title)
return return
prefilled = tab.name or tab.title
if title in ('" "', "' '"):
prefilled = ''
args = [ args = [
'--name=tab-title', '--message', _('Enter the new title for this tab below.'), '--name=tab-title', '--message', _('Enter the new title for this tab below.'),
'--default', tab.name or tab.title, 'do_set_tab_title', str(tab.id)] '--default', prefilled, 'do_set_tab_title', str(tab.id)]
self.run_kitten_with_metadata('ask', args) self.run_kitten_with_metadata('ask', args)
def do_set_tab_title(self, title: str, tab_id: int) -> None: def do_set_tab_title(self, title: str, tab_id: int) -> None: