(tab, showIt)
| 271 | } |
| 272 | } |
| 273 | showTab(tab, showIt) { |
| 274 | if (this.visibleTabs[tab] != showIt) { |
| 275 | if (this.currentTab == tab) |
| 276 | this.selectMachine(null, 0); |
| 277 | this.visibleTabs[tab] = showIt; |
| 278 | application.distribute("onMachinesChanged", this.machines); |
| 279 | } |
| 280 | } |
| 281 | |
| 282 | /* EVENTS */ |
| 283 | onBreakpointsChanged(application) { |
no test coverage detected