bsw/jbe@1309: local function normalize_whitespace(str)
bsw/jbe@1309:   str = string.gsub(str, "\194\160", " ")
bsw/jbe@1309:   str = string.gsub(str, " ", " ")
bsw/jbe@1309:   return str
bsw/jbe@1309: end
bsw/jbe@1309: 
bsw/jbe@1309: function util.wysihtml_preproc(str)
bsw/jbe@1309:   str = string.gsub(str, "<a>(.-)</a>", "%1")
bsw/jbe@1309:   str = string.gsub(str, "<[ou]l>[^<>]*", normalize_whitespace)
bsw/jbe@1309:   str = string.gsub(str, "</li>[^<>]*", normalize_whitespace)
bsw/jbe@1309:   return str
bsw/jbe@1309: end