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 _______________________________________________ gnome-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/gnome-list
