Update webServer.js

This commit is contained in:
Luis Fernando Molina committed 2020-10-09 10:10:46 +02:00
1 parent 0414eea3c4
commit aa2ab826f5
1 file changed
+1 -1
+1 -1
View File
@@ -547,7 +547,7 @@ exports.newWebServer = function newWebServer(EVENTS_SERVER) {
} else {
let updatedFileList = []
for (let i = 0; i < fileList.length; i++) {
let name = 'Plugin -> ' + fileList[i]
let name = 'Plugin \u2192 ' + fileList[i]
updatedFileList.push(name)
}
allWorkspaces = allWorkspaces.concat(updatedFileList)