version 1.154, 2021/11/03 13:37:17 |
version 1.155, 2021/12/13 09:42:20 |
|
|
|
|
{ .name = "pane-border-format", |
{ .name = "pane-border-format", |
.type = OPTIONS_TABLE_STRING, |
.type = OPTIONS_TABLE_STRING, |
.scope = OPTIONS_TABLE_WINDOW, |
.scope = OPTIONS_TABLE_WINDOW|OPTIONS_TABLE_PANE, |
.default_str = "#{?pane_active,#[reverse],}#{pane_index}#[default] " |
.default_str = "#{?pane_active,#[reverse],}#{pane_index}#[default] " |
"\"#{pane_title}\"", |
"\"#{pane_title}\"", |
.text = "Format of text in the pane status lines." |
.text = "Format of text in the pane status lines." |