version 1.7, 2011/05/08 20:34:12 |
version 1.8, 2011/05/18 20:24:29 |
|
|
.default_num = 0 /* overridden in main() */ |
.default_num = 0 /* overridden in main() */ |
}, |
}, |
|
|
|
{ .name = "set-clipboard", |
|
.type = OPTIONS_TABLE_FLAG, |
|
.default_num = 1 |
|
}, |
|
|
{ .name = NULL } |
{ .name = NULL } |
}; |
}; |
|
|
|
|
|
|
{ .name = "terminal-overrides", |
{ .name = "terminal-overrides", |
.type = OPTIONS_TABLE_STRING, |
.type = OPTIONS_TABLE_STRING, |
.default_str = "*88col*:colors=88,*256col*:colors=256,xterm*:XT" |
.default_str = "*88col*:colors=88,*256col*:colors=256" |
|
",xterm*:XT:Ms=\\E]52;%p1%s;%p2%s\\007" |
}, |
}, |
|
|
{ .name = "update-environment", |
{ .name = "update-environment", |