Double click to change title of tab
Submitted by Luka Napotnik
Link to original bug (#170096)
Description
I have made a small patch for gnome-terminal 2.10. It enables to set the tab title by double clicking on it. The hack still has a bug with selecting the tabs. So any help would be welcome.
The patch can be found at: http://freeweb.siol.net/lukan12/gnome-terminal-2.10-ln1_patch.tar
Greets, Luka
Other information: I packed the tab label into a GtkEventBox. Then I make a signal for double clicking the event box. If there's a single click, a function(code from Galeon) gets the tab number and shows the selected tab. If it's a double click, the Change title dialog appears, usually available from the menu choice.
Version: 2.10.x
Resolution: RESOLVED WONTFIX