(tab)
| 191 | }; |
| 192 | |
| 193 | var removeTab = function(tab) { |
| 194 | tab.hide(); |
| 195 | var id = tab.getId(); |
| 196 | var e = tvCache[prefix].g_entries[id]; |
| 197 | |
| 198 | if (e) { |
| 199 | e.tab.parentNode.removeChild(e.tab); |
| 200 | e.content.parentNode.removeChild(e.content); |
| 201 | var d = findIdByTab(e.tab); |
| 202 | if (d) { |
| 203 | delete tvCache[prefix].g_entries[d]; |
| 204 | } |
| 205 | } else { |
| 206 | console.log("tv: WARN: tab not part of tabview!"); |
| 207 | } |
| 208 | |
| 209 | }; |
| 210 | |
| 211 | var tv = null; |
| 212 |
no test coverage detected
searching dependent graphs…