diff options
author | Wuzzy <wuzzy2@mail.ru> | 2021-06-22 12:42:40 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-06-22 13:42:40 +0100 |
commit | b5c09ada79e3fe7b28b48ddb13d5d66989cc6c6c (patch) | |
tree | 3aef049cb721bd46d278d4fe8153a46805257993 /doc | |
parent | a7143c2a8c48b234d78ec666193b942ae0b62ca3 (diff) | |
download | minetest-b5c09ada79e3fe7b28b48ddb13d5d66989cc6c6c.tar.gz minetest-b5c09ada79e3fe7b28b48ddb13d5d66989cc6c6c.tar.bz2 minetest-b5c09ada79e3fe7b28b48ddb13d5d66989cc6c6c.zip |
Document hypertext escaping (#11374)
Diffstat (limited to 'doc')
-rw-r--r-- | doc/lua_api.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/lua_api.txt b/doc/lua_api.txt index ded416333..aa59898d7 100644 --- a/doc/lua_api.txt +++ b/doc/lua_api.txt @@ -2980,6 +2980,9 @@ Some tags can enclose text, they open with `<tagname>` and close with `</tagname Tags can have attributes, in that case, attributes are in the opening tag in form of a key/value separated with equal signs. Attribute values should not be quoted. +If you want to insert a literal greater-than sign or a backslash into the text, +you must escape it by preceding it with a backslash. + These are the technically basic tags but see below for usual tags. Base tags are: `<style color=... font=... size=...>...</style>` |