Bug 294686

Version:           unspecified (using Devel) 
OS:                Linux

Using Profile settings you can specify a format string which is to be used to construct tab name.

It'd be useful to add more options, at least for

* current profile name

* tab name set by the shell (not to be confused with window title that can be included using "%w")



Reproducible: Didn't try

Steps to Reproduce:
to set the tab name, use something like:

echo -n -e "\033]30;my tab name\a"

Actual Results:  
if you leave the formatting string field empty, you get profile name ("Shell" for example) as a fallback, and it lasts until you change it from the shell

you have no way to use one of these two explicitly in the formatting string, i.e. once the shell changes the name, profile name gets lost from the actual title

you cannot construct a tab name like "Profile name (session number) - tab title set by the shell"

Expected Results:  
none of the abovementioned limitations

See the discussion in bug #162326.