liquid_feedback_frontend: 80c215dbf076 env/util/put_highlighted

liquid_feedback_frontend

Version alpha5

Many optical changes and improved usability

Support for different wiki-formatting-engines

Help system

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)