version 1.142, 2021/06/10 07:50:03 |
version 1.143, 2021/06/10 07:56:47 |
|
|
{ .name = "word-separators", |
{ .name = "word-separators", |
.type = OPTIONS_TABLE_STRING, |
.type = OPTIONS_TABLE_STRING, |
.scope = OPTIONS_TABLE_SESSION, |
.scope = OPTIONS_TABLE_SESSION, |
.default_str = " ", |
/* |
|
* The set of non-alphanumeric printable ASCII characters minus the |
|
* underscore. |
|
*/ |
|
.default_str = "!\"#$%&'()*+,-./:;<=>?@[\\]^`{|}~", |
.text = "Characters considered to separate words." |
.text = "Characters considered to separate words." |
}, |
}, |
|
|