-
bunsenstraat authored
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.
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| styles | ||
| file-panel.js | ||
| main-view.js | ||
| tab-proxy.js | ||
| terminal.js |