UI should allow easier access to editing title of terminal

Binary package hint: gnome-terminal

Currently, editing the title of a terminal is only available through a Menu item; it would be great if it could be available:
* through a keyboard shortcut
* as an option in a context menu when right-clicking on the tab title
* or by double clicking on the tab title

ProblemType: Bug
Architecture: i386
Date: Wed Jun 27 16:12:40 2007
DistroRelease: Ubuntu 7.04
ExecutablePath: /usr/bin/gnome-terminal
Package: gnome-terminal 2.18.0-0ubuntu1
PackageArchitecture: i386
ProcCmdline: gnome-terminal
ProcCwd: /home/dom
ProcEnviron:
 LANGUAGE=fr_FR.UTF-8@euro
 PATH=/home/dom/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/bin/X11:/usr/games
 LANG=fr_FR.UTF-8@euro
 SHELL=/bin/bash
SourcePackage: gnome-terminal
Uname: Linux altostratustier 2.6.20-16-generic #2 SMP Thu Jun 7 20:19:32 UTC 2007 i686 GNU/Linux