Re: terminal tab title
Adam Tauno Williams <[email protected]> Fri, 26 Aug 2016 19:45:21 -0400
| Newsgroups | gmane.comp.gnome.general |
|---|---|
| Message-ID | <[email protected]> |
On Tue, 2016-08-23 at 18:23 +0200, Geert Geurts wrote: > When I open gnome-terminal and open a new tab, I used to be able to > set the title using the right-mouse button. > Does anyone know of a way how I can get this old(gnome2) > functionality back again? Nope; I also miss this functionality. > Does anyone have a solution to this problem? Does anyone know why > this valuable feature was dropped? Unfortunately, no. I've been annoyed enough to be tempted to checkout the gnome-terminal code and see if there is a gsettings to control this. -- Adam Tauno Williams <mailto:[email protected]> GPG D95ED383 Systems Administrator, Python Developer, LPI / NCLA