void cut_triggered();
void x264_bitrate_triggered();
void exit_triggered();
+ void manual_triggered();
void about_triggered();
void simple_audio_mode_triggered();
void multichannel_audio_mode_triggered();
void input_mapping_triggered();
void midi_mapping_triggered();
+ void timecode_stream_triggered();
+ void timecode_stdout_triggered();
void transition_clicked(int transition_number);
void channel_clicked(int channel_number);
void wb_button_clicked(int channel_number);