commit | c6149adf55a1ab108a9336ba15a82bd11a809cb3 | [log] [download] |
---|---|---|
author | nicm <nicm> | Mon Dec 13 09:42:20 2021 +0000 |
committer | nicm <nicm> | Mon Dec 13 09:42:20 2021 +0000 |
tree | 0bbc81f9a418a9f6b0cffc88d5977a226921dd98 | |
parent | 9c1633a8659c4045b8303eb99d5f89b4f0dcb784 [diff] |
Make pane-border-format a pane option, GitHub issue 2999.