Missing keyboard shortcut for 'tab renaming'.

Bug #1054300 reported by Alexandre Bourget
64
This bug affects 11 people
Affects Status Importance Assigned to Milestone
Terminator
Fix Released
Wishlist
Unassigned

Bug Description

When I create a new tab, I often change the title to mark what's going to be done there.. and for future reference.. since I often have ~10 tabs open. So instead of the generic "user@hostname:~" in the tab, I write something meaningful.

Now the only way to do that is by clicking on the tab.

gnome-terminal has support for keyboard shortcut for this function, and historically, there was a shortcut, compatible with Konsole if I recall correctly, that was mapped by default to Ctrl+Shift+S

that'd be great, wouldn't it :)

thanks

Alexandre Bourget

Revision history for this message
Alexandre Bourget (wackysalut) wrote :

I'm running Ubuntu 12.04 with the standard terminator package installed.

Chris Jones (cmsj)
Changed in terminator:
status: New → Confirmed
importance: Undecided → Wishlist
Chris Jones (cmsj)
Changed in terminator:
milestone: none → 1.0
Chris Jones (cmsj)
Changed in terminator:
milestone: 1.0 → none
Revision history for this message
David Futcher (bobbo) wrote :

Attached is a patch against trunk to add this functionality. By default rename_tab is set to Alt+t but this can obviously be modified.

tags: added: patch
Revision history for this message
David Futcher (bobbo) wrote :

Previous patch broke double-clicking to rename tabs, fixed in this version.

tags: removed: patch
Revision history for this message
Stephen Boddy (stephen-j-boddy) wrote :

Fixed in rev 1683

Changed in terminator:
status: Confirmed → Fix Committed
Changed in terminator:
status: Fix Committed → Fix Released
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Duplicates of this bug

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.