version 1.44, 2014/01/28 23:11:44 |
version 1.45, 2014/02/23 00:53:06 |
|
|
.default_num = 1 |
.default_num = 1 |
}, |
}, |
|
|
|
{ .name = "terminal-overrides", |
|
.type = OPTIONS_TABLE_STRING, |
|
.default_str = "*256col*:colors=256" |
|
",xterm*:XT:Ms=\\E]52;%p1%s;%p2%s\\007" |
|
":Cs=\\E]12;%p1%s\\007:Cr=\\E]112\\007" |
|
":Ss=\\E[%p1%d q:Se=\\E[2 q,screen*:XT" |
|
}, |
|
|
{ .name = NULL } |
{ .name = NULL } |
}; |
}; |
|
|
|
|
{ .name = "status-utf8", |
{ .name = "status-utf8", |
.type = OPTIONS_TABLE_FLAG, |
.type = OPTIONS_TABLE_FLAG, |
.default_num = 0 /* overridden in main() */ |
.default_num = 0 /* overridden in main() */ |
}, |
|
|
|
{ .name = "terminal-overrides", |
|
.type = OPTIONS_TABLE_STRING, |
|
.default_str = "*256col*:colors=256" |
|
",xterm*:XT:Ms=\\E]52;%p1%s;%p2%s\\007" |
|
":Cs=\\E]12;%p1%s\\007:Cr=\\E]112\\007" |
|
":Ss=\\E[%p1%d q:Se=\\E[2 q,screen*:XT" |
|
}, |
}, |
|
|
{ .name = "update-environment", |
{ .name = "update-environment", |