This is disappointing - I used that feature all the time in order to set the title of terminal windows that weren't configurable from .bashrc - eg, when starting a local server, or when sshing into a remote server, when monitoring realtime logs. I often have several windows open at once, and setting a custom title in the tab was the only way I could easily identify what process the window was an interface to.
-- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/1448511 Title: Unable to set gnome-terminal title from menu in Vivid Vervet To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-terminal/+bug/1448511/+subscriptions -- desktop-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
