From dc4a1941c60cc66a87331235f6381d0c34eb805c Mon Sep 17 00:00:00 2001
From: yann300 <yann.levreau@gmail.com>
Date: Wed, 12 Sep 2018 09:12:40 +0200
Subject: [PATCH] add getFilesFromPath

---
 src/app/plugin/pluginAPI.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/app/plugin/pluginAPI.js b/src/app/plugin/pluginAPI.js
index 80038812fa..81bd2e00cb 100644
--- a/src/app/plugin/pluginAPI.js
+++ b/src/app/plugin/pluginAPI.js
@@ -73,6 +73,9 @@ module.exports = (pluginManager, fileProviders, fileManager, compiler, udapp) =>
       }
     },
     editor: {
+      getFilesFromPath: (mod, path, cb) => {
+        fileManager.filesFromPath(path, cb)
+      },
       getCurrentFile: (mod, cb) => {
         var path = fileManager.currentFile()
         if (!path) {