version 1.36, 2013/03/27 11:17:12 |
version 1.37, 2013/06/02 07:52:15 |
|
|
.type = OPTIONS_TABLE_STRING, |
.type = OPTIONS_TABLE_STRING, |
.default_str = "*256col*:colors=256" |
.default_str = "*256col*:colors=256" |
",xterm*:XT:Ms=\\E]52;%p1%s;%p2%s\\007" |
",xterm*:XT:Ms=\\E]52;%p1%s;%p2%s\\007" |
":Cc=\\E]12;%p1%s\\007:Cr=\\E]112\\007" |
":Cs=\\E]12;%p1%s\\007:Cr=\\E]112\\007" |
":Cs=\\E[%p1%d q:Csr=\\E[2 q,screen*:XT" |
":Ss=\\E[%p1%d q:Se=\\E[2 q,screen*:XT" |
}, |
}, |
|
|
{ .name = "update-environment", |
{ .name = "update-environment", |