liquid_feedback_frontend
view env/util/put_highlighted_string.lua @ 71:4f43d2a96c07
Added six Esperanto translations
| author | Dinu Gherman | 
|---|---|
| date | Wed May 05 17:57:32 2010 +0200 (2010-05-05) | 
| 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
