void transition_clicked(int transition_number);
void channel_clicked(int channel_number);
void wb_button_clicked(int channel_number);
void transition_clicked(int transition_number);
void channel_clicked(int channel_number);
void wb_button_clicked(int channel_number);