##// END OF EJS Templates
pygments: disable the error border on token errors. This mostly confuses the users, and is not usefull that much.
pygments: disable the error border on token errors. This mostly confuses the users, and is not usefull that much.

File last commit:

r731:7a6d3636 default
r3107:d7242716 default
Show More
textinput.pt
4 lines | 81 B | text/plain | TextLexer
dan
integrations: refactor/cleanup + features, fixes #4181...
r731 <div class="form-control readonly"
id="${oid|field.oid}">
${cstruct}
</div>