Skip to content

Prevent task terminal title from being changed by task process#13003

Merged
martin-fleck-at merged 4 commits intoeclipse-theia:masterfrom bryanchenmchp:bryanchenmchp/task-terminal-fix-titleNov 10, 2023
+5-1

Commits

Commits on Oct 16, 2023

Commits on Oct 23, 2023

Commits on Nov 9, 2023