()
| 448 | application.distribute("onPathChanged", this.path); |
| 449 | } |
| 450 | doCloseFiles() { |
| 451 | let items = this.history.items; |
| 452 | items.length = 0; |
| 453 | this.path = undefined; |
| 454 | this.state = undefined; |
| 455 | this.doOpenView(); |
| 456 | application.distribute("onPathChanged", this.path); |
| 457 | } |
| 458 | doCloseProfile(profile) { |
| 459 | const index = this.profiles.indexOf(profile); |
| 460 | if (index >= 0) { |
nothing calls this directly
no test coverage detected