From aa2ab826f578627fb6c87dc225ea43a39c27b865 Mon Sep 17 00:00:00 2001
From: Luis Fernando Molina <Luis-Fernando-Molina@users.noreply.github.com>
Date: Fri, 9 Oct 2020 10:10:46 +0200
Subject: [PATCH] Update webServer.js

---
 webServer.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/webServer.js b/webServer.js
index 718b9ad06..859b0719b 100644
--- a/webServer.js
+++ b/webServer.js
@@ -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)