liquid_feedback_frontend: 26c8177ef348 env/util/put_highlighted

liquid_feedback_frontend

Support for multiple usage terms accept checkboxes
(including neccessary bugfix in member model)

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)