1: 2: 3: 4: 5: 6: 7: 8: 9: 10: 11: 12: 13: 14: 15: 16:
private Funktion searchFocusID (): Lücke { chart.searchElement (searchID.text, Null, Null, falsches, zutreffend); zoomFoundNode (); } privates Funktion zoomFoundNode (): Lücke { chart.zoomContent (5, Null, zutreffendes, zutreffend, 1000); }