From ac9e27713d023e2284615e204f0a5f117cc3dead Mon Sep 17 00:00:00 2001 From: Nate Stemen Date: Wed, 22 Nov 2017 11:25:02 -0500 Subject: [PATCH] changing allowed file types --- services/web/public/coffee/ide/files/services/files.coffee | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/services/web/public/coffee/ide/files/services/files.coffee b/services/web/public/coffee/ide/files/services/files.coffee index a6b64f9f50..58e0598a3f 100644 --- a/services/web/public/coffee/ide/files/services/files.coffee +++ b/services/web/public/coffee/ide/files/services/files.coffee @@ -8,7 +8,7 @@ define [ getTeXFiles: () -> texFiles = [] ide.fileTreeManager.forEachEntity (entity, folder, path) -> - if entity.type == 'doc' && entity?.name?.match?(/.*\.(tex|sty|cls|dtx|ltx|def)/) + if entity.type == 'doc' && entity?.name?.match?(/.*\.(tex|txt|md)/) cloned = _.clone(entity) cloned.path = path texFiles.push cloned