Rev 11210 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 11210 | Rev 11292 | ||
|---|---|---|---|
| Line 2... | Line 2... | ||
| 2 | tit:singlespace |
2 | tit:singlespace |
| 3 | type:$type_both |
3 | type:$type_both |
| 4 | syntax:!singlespace |
4 | syntax:!singlespace ``string'' |
| 5 |
|
5 | mean:Returns ``string'' with all space characters (space, tab, newline) replaced by `` '', \ |
| 6 | and multiple occurrences of space characters collapsed into single one. <br/>\ |
6 | and multiple occurrences of space characters collapsed into single one. <br/>\ |
| 7 | Leading and ending spaces are not removed. You can use this command in conjunction with\ |
7 | Leading and ending spaces are not removed. You can use this command in conjunction with\ |
| 8 | $(ref1)cmdlist_trim_$(ref2)cmdlist_trim_">trim</a> if you want also to\ |
8 | $(ref1)cmdlist_trim_$(ref2)cmdlist_trim_">trim</a> if you want also to\ |
| 9 | remove leading and ending spaces. <br/>\ |
9 | remove leading and ending spaces. <br/>\ |
| 10 | This command is especially useful for comparisons between multi-word strings. |
10 | This command is especially useful for comparisons between multi-word strings. |