Update Workspace.js

This commit is contained in:
Luis Fernando Molina committed 2020-10-09 10:10:39 +02:00
1 parent 7ce275080a
commit 203df65d71
1 file changed
+2 -2
+2 -2
View File
@@ -418,8 +418,8 @@ function newWorkspace() {
function replaceWorkspaceByLoadingOne(name) {
let webCommand
if (name.indexOf('Plugin -> ') >= 0) {
name = name.replace('Plugin -> ', '')
if (name.indexOf('Plugin \u2192 ') >= 0) {
name = name.replace('Plugin \u2192 ', '')
webCommand = 'LoadPluginWorkspace'
} else {
webCommand = 'LoadWorkspace'