Terminal: Support a disconnect button for terminal tabs which are "disconnectable"
12 files changed