commit | 83a8e1fd20e3cbd6da38d0b4d6973cad0484c27b | [log] [download] |
---|---|---|
author | nicm <nicm> | Fri Feb 06 15:09:34 2015 +0000 |
committer | nicm <nicm> | Fri Feb 06 15:09:34 2015 +0000 |
tree | fcdbb4001aa49dc0a7bdeec4e00e5486b8e4dcef | |
parent | 90bf7026f6bb83e0781ff2fc71c32ce973edce59 [diff] |
Move pane border options to window options rather than session, from Marc Finet.