highlight
7.21.2 markEigenschaften
- Art
- mark
- Toggle-Tag
(+highlight)…(-highlight)
Mappings
html{ "@el": "mark", "@children": "$" }json{ "type": "highlight" }
(+highlight)…(-highlight)html{
"@el": "mark",
"@children": "$"
}json{
"type": "highlight"
}