Re: terminal tab title

[Adam Tauno Williams <awilliam whitemice org>]

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:awilliam whitemice org> GPG D95ED383
Systems Administrator, Python Developer, LPI / NCLA