Any update on this? This is an extremely useful (arguably critical) piece of functionality for a multi-tabbed terminal, IMO. Setting PROMPT_COMMAND is really no substite for having a GUI way to change the title on each of the tabs.
Any plans for this soon?
Any update on this? This is an extremely useful (arguably critical) piece of functionality for a multi-tabbed terminal, IMO. Setting PROMPT_COMMAND is really no substite for having a GUI way to change the title on each of the tabs.
Any plans for this soon?