TimingSetManagerPanel: functionally implemented