TimingSetManagerPanel: minor gui change