New Feature: Set terminal title from
vasyas opened this issue · 1 comments
vasyas commented
It would be even more awesome if the plugin would set terminal title from escape sequences, as some of the other terminals do, for example, Gnome terminal or iTerm2.
And example for sequence:
echo -e '\033]0;This would be title\007'
anthraxx commented
This is about the console, not the terminal.