Use different palette for windows.
Button to close terminal tab.
Hide terminal on close of the last tab.
Distinguish local and ssh console tabs. Ssh tabs have host name in there title.
Merge remote-tracking branch 'origin/master'
Jediterm updated.
Merge remote-tracking branch 'origin/master'