Terminal tab title set via 'Terminal->Set title' not persistent

[RichardKinder]

When setting the title of a terminal via the 'Terminal->Set title' menu entry, I
expect the title to be persistent.

Observed behaviour:

- Set the tab title via the 'Terminal->Set title' menu item.
- Tab title changes to what was entered
- Hit 'enter' in the shell in the tab
- Tab title changes back to 'user@hostname: /path'

Expected behaviour:

- Set the tab title via the 'Terminal->Set title' menu item.
- Tab title changes to what was entered
- Regardless of what I now do, other than changing the terminal title via the
menu item, the terminal tab title should be the same as I initially entered.

Workaround:

In the shell within the terminal tab do:

unset PROMPT_COMMAND

then re-enter the title via the 'Terminal->Set title' menu item.

http://bugzilla.gnome.org/show_bug.cgi?id=161144: http://bugzilla.gnome.org/show_bug.cgi?id=161144

[Matt Zimmerman (mdz)]

I'm not sure what the right approach is here.

- Using "Set title" could cause the escape sequence for setting the window title
to be ignored
- bash could omit the escape sequence if running under gnome-terminal
- bash could omit the escape sequence by default

[Sebastien Bacher (seb128)]

There is a bug upstream about this:
http://bugzilla.gnome.org/show_bug.cgi?id=161144

[Daniel Robitaille (robitaille)]

Marked as fixed in upstream Gnome

[Sebastien Bacher (seb128)]

Fixed with dapper according to upstream. Feel free to reopen if you get the issue again