[jb] Update the terminal widget tab when the Gitpod Task title changes#12401

Merged

roboquat merged 1 commit intomainfrom

felladrin/jetbrains-task-should-12126

Aug 30, 2022

Commits on Aug 30, 2022

Disconnect the terminal widget when Gitpod Task exits, and update terminal widget tab when Gitpod Task title changes
felladrin
committed