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
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  Edit
Everyone can see this information.

Duplicates of this bug

Other bug subscribers