Remove duplicate tab

3 years ago · 72c16efa06
parent 5f2bc31d2c
commit 72c16efa06
1 changed files with 0 additions and 9 deletions
--- a/apps/remix-ide/src/app/panels/tab-proxy.js
+++ b/apps/remix-ide/src/app/panels/tab-proxy.js
@ -190,15 +190,6 @@ export class TabProxy extends Plugin {
  }
  renameTab (oldName, newName) {
    this.addTab(newName, '', async () => {
      await this.fileManager.open(newName)
      this.event.emit('openFile', newName)
    },
    async () => {
      await this.fileManager.closeFile(newName)
      this.event.emit('closeFile', newName)
      this.emit('closeFile', newName)
    })
    this.removeTab(oldName)
  }