change selection behaviour for track header context click

[ardour.git] / gtk2_ardour / option_editor.h

diff --git a/gtk2_ardour/option_editor.h b/gtk2_ardour/option_editor.h
index cc28a74e603620e5e0b292b2e91338ab8a8726f7..7754b0555dc747b9e25dc23f616c84199800a424 100644 (file)
--- a/gtk2_ardour/option_editor.h
+++ b/gtk2_ardour/option_editor.h
@@ -15,7 +15,6 @@
     along with this program; if not, write to the Free Software
     Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
 
-    $Id$
 */
 
 #ifndef __gtk_ardour_option_editor_h__
@@ -111,6 +110,9 @@ class OptionEditor : public Gtk::Dialog
        Gtk::RadioButton::Group mmc_button_group;
        Gtk::RadioButton::Group midi_button_group;
 
+       Gtk::Adjustment mmc_device_id_adjustment;
+       Gtk::SpinButton mmc_device_id_spinner;
+
        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*);
@@ -119,6 +121,8 @@ class OptionEditor : public Gtk::Dialog
        void mtc_port_chosen (MIDI::Port*,Gtk::RadioButton*);
        void midi_port_chosen (MIDI::Port*,Gtk::RadioButton*);
 
+       void mmc_device_id_adjusted ();
+
        void map_port_online (MIDI::Port*, Gtk::ToggleButton*);
 
        void setup_midi_options();