diff options
| author | Florian Dold <florian.dold@gmail.com> | 2016-10-10 03:47:49 +0200 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2016-10-10 03:47:49 +0200 |
| commit | 21e6b15991212e21a0bd9928890e8e8518f367e8 (patch) | |
| tree | 3859320d916ff6c2e2fbe2f022375827fa28997c /thirdparty/URI.js/prettify/lang-tex.js | |
| parent | 02fa518542328183f35ae04d389b61226f4c4e30 (diff) | |
| parent | d5194154335d6cb30edca9b648083069faf9778c (diff) | |
Merge commit 'd5194154335d6cb30edca9b648083069faf9778c' as 'thirdparty/URI.js'
Diffstat (limited to 'thirdparty/URI.js/prettify/lang-tex.js')
| -rw-r--r-- | thirdparty/URI.js/prettify/lang-tex.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/thirdparty/URI.js/prettify/lang-tex.js b/thirdparty/URI.js/prettify/lang-tex.js new file mode 100644 index 000000000..ce96fbbd1 --- /dev/null +++ b/thirdparty/URI.js/prettify/lang-tex.js @@ -0,0 +1 @@ +PR.registerLangHandler(PR.createSimpleLexer([["pln",/^[\t\n\r \xa0]+/,null,"\t\n\r Â\xa0"],["com",/^%[^\n\r]*/,null,"%"]],[["kwd",/^\\[@-Za-z]+/],["kwd",/^\\./],["typ",/^[$&]/],["lit",/[+-]?(?:\.\d+|\d+(?:\.\d*)?)(cm|em|ex|in|pc|pt|bp|mm)/i],["pun",/^[()=[\]{}]+/]]),["latex","tex"]); |