annotate env/encode/highlight.lua @ 1719:9b8dc1828f1f
If only one policy is available, choose it automatically
| author |
bsw |
| date |
Mon Sep 27 13:07:56 2021 +0200 (2021-09-27) |
| parents |
5c601807d397 |
| children |
|
| rev |
line source |
|
bsw@2
|
1 function encode.highlight(text)
|
|
bsw@2
|
2 local text = encode.html(text)
|
|
bsw@2
|
3 text = text:gsub("\027", "")
|
|
bsw@2
|
4 text = text:gsub("\\\\", "\027b")
|
|
bsw@2
|
5 text = text:gsub("\\%*", "\027a")
|
|
bsw@2
|
6 text = text:gsub("%*([^%*]*)%*", '<span class="highlighted">%1</span>')
|
|
bsw@2
|
7 text = text:gsub("\027a", "*")
|
|
bsw@2
|
8 text = text:gsub("\027b", "\\")
|
|
bsw@2
|
9 return text
|
|
bsw@2
|
10 end |