commit | e6cbeb4f38d5e38df1b6b9b46145c9a2b7dd11a1 | [log] [download] |
---|---|---|
author | nicm <nicm> | Sat Jun 09 17:05:52 2018 +0000 |
committer | nicm <nicm> | Sat Jun 09 17:05:52 2018 +0000 |
tree | ccba0f98b4ee0a166e6d8f9ecf4e597f7c65fe71 | |
parent | f6bad7efd76109de122bb3b670d0e18f86ec38bb [diff] |
Make it possible to resize multiple panes by dragging corners, from Dan Aloni in GitHub issue 1376.