commit | af1496b300cd755dcffd514ed0a329943f633cd4 | [log] [download] |
---|---|---|
author | nicm <nicm> | Mon May 30 13:03:46 2022 +0000 |
committer | nicm <nicm> | Mon May 30 13:03:46 2022 +0000 |
tree | a6cf9807c00113dde5fa56f79d448e4bcafccae4 | |
parent | 2b60ff588ebc26258848fa9d89a6e32e46eeba58 [diff] |
Do not allow pipe-pane on dead panes, from Anindya Mukherjee, GitHub issue 3174.