(resourceName: string)
| 201 | } |
| 202 | |
| 203 | removeResourceType(resourceName: string) { |
| 204 | if (this.resourceTypeMap.has(resourceName)) { |
| 205 | this.resourceTypeMap.delete(resourceName); |
| 206 | } |
| 207 | } |
| 208 | |
| 209 | removeEditorWindowById(id: string) { |
| 210 | const index = this.windows.findIndex(d => (d.id === id)); |