allow spaces in names, duplicate tabs opened (#888)

fixes two bugs: - removing spaces from ids in remix-tabs breaks finding the tab again through this._handlers[name] - duplicate tabs are re-created twice.

allow spaces in names, duplicate tabs opened (#888)
dfa722ec · bunsenstraat · GitHub · e048cc35 · dfa722ec
Unverified Commit dfa722ec authored Feb 17, 2021 by bunsenstraat Committed by GitHub Feb 17, 2021
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

tab-proxy.js apps/remix-ide/src/app/panels/tab-proxy.js +1 -1

No files found.
--- a/apps/remix-ide/src/app/panels/tab-proxy.js
+++ b/apps/remix-ide/src/app/panels/tab-proxy.js
@@ -194,7 +194,7 @@ export class TabProxy extends Plugin {
    }

    this._view.filetabs.addTab({
-      id: name.split(' ').join(''),
+      id: name,
      title,
      icon,
      tooltip: name