From 14f7c1a8172a85f2351e1e0a6516240efd6e05e4 Mon Sep 17 00:00:00 2001 From: ioedeveloper Date: Mon, 15 Mar 2021 17:13:57 +0100 Subject: [PATCH] Rename function from getCurrentWorkspace to currentWorkspace in fileManager --- apps/remix-ide/src/app/files/fileManager.js | 2 +- apps/remix-ide/src/app/panels/tab-proxy.js | 8 ++++---- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/apps/remix-ide/src/app/files/fileManager.js b/apps/remix-ide/src/app/files/fileManager.js index c1f86ea11c..932828538d 100644 --- a/apps/remix-ide/src/app/files/fileManager.js +++ b/apps/remix-ide/src/app/files/fileManager.js @@ -611,7 +611,7 @@ class FileManager extends Plugin { }) } - getCurrentWorkspace () { + currentWorkspace () { const file = this.currentFile() || '' const provider = this.fileProviderOf(file) diff --git a/apps/remix-ide/src/app/panels/tab-proxy.js b/apps/remix-ide/src/app/panels/tab-proxy.js index 5af0c13dd9..0bdef0c2ec 100644 --- a/apps/remix-ide/src/app/panels/tab-proxy.js +++ b/apps/remix-ide/src/app/panels/tab-proxy.js @@ -38,19 +38,19 @@ export class TabProxy extends Plugin { }) fileManager.events.on('fileRemoved', (name) => { - const workspace = this.fileManager.getCurrentWorkspace() + const workspace = this.fileManager.currentWorkspace() workspace ? this.removeTab(workspace + '/' + name) : this.removeTab(this.fileManager.mode + '/' + name) }) fileManager.events.on('fileClosed', (name) => { - const workspace = this.fileManager.getCurrentWorkspace() + const workspace = this.fileManager.currentWorkspace() workspace ? this.removeTab(workspace + '/' + name) : this.removeTab(this.fileManager.mode + '/' + name) }) fileManager.events.on('currentFileChanged', (file) => { - const workspace = this.fileManager.getCurrentWorkspace() + const workspace = this.fileManager.currentWorkspace() if (workspace) { const workspacePath = workspace + '/' + file @@ -86,7 +86,7 @@ export class TabProxy extends Plugin { }) fileManager.events.on('fileRenamed', (oldName, newName, isFolder) => { - const workspace = this.fileManager.getCurrentWorkspace() + const workspace = this.fileManager.currentWorkspace() if (workspace) { if (isFolder) {