+ Gtk::RadioButton::Group midi_clock_button_group;
+
+ Gtk::Table midi_port_table;
+ std::vector<Gtk::Widget*> midi_port_table_widgets;
+ Gtk::Adjustment mmc_receive_device_id_adjustment;
+ Gtk::SpinButton mmc_receive_device_id_spinner;
+ Gtk::Adjustment mmc_send_device_id_adjustment;
+ Gtk::SpinButton mmc_send_device_id_spinner;
+ Gtk::Button add_midi_port_button;
+ Gtk::Adjustment initial_program_change_adjustment;
+ Gtk::SpinButton initial_program_change_spinner;
+
+ void add_midi_port ();
+ void remove_midi_port (MIDI::Port*);
+ void redisplay_midi_ports ();
+
+ void port_online_toggled (MIDI::Port*,Gtk::ToggleButton*);
+ void port_trace_in_toggled (MIDI::Port*,Gtk::ToggleButton*);
+ void port_trace_out_toggled (MIDI::Port*,Gtk::ToggleButton*);