/** Repaints this on all tracker panels. */ public void repaint() { Iterator<TrackerPanel> it = marks.keySet().iterator(); while (it.hasNext()) repaint(it.next()); }