webmcp
annotate framework/env/parse/_pre_fold.lua @ 3:795b764629ca
Version 1.0.3
Important bugfix related to internal forwards (Bug was introduced by the restriction of views with underscore prefix in Version 1.0.2)
Important bugfix related to internal forwards (Bug was introduced by the restriction of views with underscore prefix in Version 1.0.2)
| author | jbe |
|---|---|
| date | Thu Dec 10 12:00:00 2009 +0100 (2009-12-10) |
| parents | 9fdfb27f8e67 |
| children |
| rev | line source |
|---|---|
| jbe/bsw@0 | 1 function parse._pre_fold(str) |
| jbe/bsw@0 | 2 local str = str |
| jbe/bsw@0 | 3 local special_chars = charset.get_data().special_chars |
| jbe/bsw@0 | 4 local function replace(name, dst) |
| jbe/bsw@0 | 5 local src = special_chars[name] |
| jbe/bsw@0 | 6 if src then |
| jbe/bsw@0 | 7 local pattern = string.gsub(src, "[][()^$%%]", "%%%1") |
| jbe/bsw@0 | 8 str = string.gsub(str, pattern, dst) |
| jbe/bsw@0 | 9 end |
| jbe/bsw@0 | 10 end |
| jbe/bsw@0 | 11 replace("nobreak_space", " ") |
| jbe/bsw@0 | 12 replace("minus_sign", "-") |
| jbe/bsw@0 | 13 replace("hyphen_sign", "-") |
| jbe/bsw@0 | 14 replace("nobreak_hyphen", "-") |
| jbe/bsw@0 | 15 replace("figure_dash", "-") |
| jbe/bsw@0 | 16 str = string.gsub(str, "\t+", " ") |
| jbe/bsw@0 | 17 str = string.gsub(str, "^ +", "") |
| jbe/bsw@0 | 18 str = string.gsub(str, " +$", "") |
| jbe/bsw@0 | 19 str = string.gsub(str, " +", " ") |
| jbe/bsw@0 | 20 return str |
| jbe/bsw@0 | 21 end |