commit | 509221520c87510016f5c90aeea0d4dcc4b74a98 | [log] [download] |
---|---|---|
author | nicm <nicm> | Mon Feb 01 08:01:14 2021 +0000 |
committer | nicm <nicm> | Mon Feb 01 08:01:14 2021 +0000 |
tree | a006a5c8f78a2f0c725f9c11335fed1a21e8fb54 | |
parent | 255802d8d7357bf985bf2e4221eac8ab64b348ea [diff] |
Add a no-detached choice to detach-on-destroy which detaches only if there are no other detached sessions to switch to, from Sencer Selcuk in GitHub issue 2553.