liquid_feedback_frontend
view env/util/put_highlighted_string.lua @ 733:9c88e513a8f7
Renamed example config to example.lua
| author | bsw | 
|---|---|
| date | Thu Jun 28 17:24:18 2012 +0200 (2012-06-28) | 
| 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
