Rev 11210 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 32 | reyssat | 1 | !! +exec+ +var+ +string+ |
| 11210 | bpr | 2 | tit:singlespace |
| 3 | type:$type_both |
||
| 11292 | bpr | 4 | syntax:!singlespace ``string'' |
| 5 | mean:Returns ``string'' with all space characters (space, tab, newline) replaced by `` '', \ |
||
| 11210 | bpr | 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\ |
||
| 8 | $(ref1)cmdlist_trim_$(ref2)cmdlist_trim_">trim</a> if you want also to\ |
||
| 9 | remove leading and ending spaces. <br/>\ |
||
| 10 | This command is especially useful for comparisons between multi-word strings. |