| 477 | } |
| 478 | |
| 479 | function searchInMapping() { |
| 480 | |
| 481 | var searchValue = (document.getElementById("searchMapping") as HTMLInputElement).value; |
| 482 | var trs = document.getElementById("content_table").getElementsByTagName("TR") |
| 483 | |
| 484 | for (var i = 1; i < trs.length; ++i) { |
| 485 | |
| 486 | var id = trs[i].getAttribute("id") |
| 487 | var element = SEARCH_MAPPING[id] |
| 488 | |
| 489 | switch (element.toLowerCase().includes(searchValue.toLowerCase())) { |
| 490 | case true: |
| 491 | document.getElementById(id).style.display = "" |
| 492 | break; |
| 493 | |
| 494 | case false: |
| 495 | document.getElementById(id).style.display = "none" |
| 496 | break; |
| 497 | } |
| 498 | |
| 499 | |
| 500 | } |
| 501 | |
| 502 | return |
| 503 | } |
| 504 | |
| 505 | function changeChannelNumbers(elements) { |
| 506 | var starting_number_element = (document.getElementsByName("x-channels-start")[0] as HTMLInputElement) |