diff options
| author | mikeazo <undefinedspace@gmail.com> | 2014-02-19 21:50:05 +0400 |
|---|---|---|
| committer | mikeazo <undefinedspace@gmail.com> | 2014-02-19 21:50:05 +0400 |
| commit | d1fa261361b8b3b249c4d2b84cca1800b57b5f3f (patch) | |
| tree | b44f2c4d2e298fb88f1cd54524d4d6e8c514eb2d /js | |
| parent | f67da3df1e5ed4c2432285d0c9f3d9c3d7b30c78 (diff) | |
Update editor.js to allow tex files
Update to editor.js to allow tex files so they can be edited in the text editor.
Diffstat (limited to 'js')
| -rw-r--r-- | js/editor.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/js/editor.js b/js/editor.js index 30d331d..7694d02 100644 --- a/js/editor.js +++ b/js/editor.js @@ -24,6 +24,7 @@ function setSyntaxMode(ext) { filetype["jsm"] = "javascript"; filetype["json"] = "json"; filetype["latex"] = "latex"; + filetype["tex"] = "latex"; filetype["less"] = "less"; filetype["ly"] = "latex"; filetype["ily"] = "latex"; |