##// 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.
marcink -
r3107:d7242716 default
Show More
Name Size Modified Last Commit Author
/ rhodecode / public / js / src / codemirror
codemirror.js Loading ...
codemirror_hint.js Loading ...
codemirror_loadmode.js Loading ...
codemirror_overlay.js Loading ...
codemirror_placeholder.js Loading ...
codemirror_simplemode.js Loading ...