liquid_feedback_frontend
view env/util/put_highlighted_string.lua @ 1213:3f0b055a4fb0
Added tag v3.0.9 for changeset e62f8add2490
| author | jbe |
|---|---|
| date | Sat Jul 18 17:23:31 2015 +0200 (2015-07-18) |
| parents | 3bfb2fcf7ab9 |
| children |
line source
1 function util.put_highlighted_string(string)
2 local highlight_string = param.get("highlight_string")
3 if highlight_string then
4 local highlighted_string = slot.use_temporary(function()
5 ui.tag{
6 tag = "span",
7 attr = { class = "highlighted" },
8 content = highlight_string
9 }
10 end)
11 string = string:gsub(highlight_string, highlighted_string)
12 end
13 slot.put(string)
14 end