diff options
author | Robin Gareus <robin@gareus.org> | 2016-12-30 17:29:08 +0100 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2016-12-30 17:29:08 +0100 |
commit | 3afe3f32df076a6b47c1e40990abcd4d7ae4b593 (patch) | |
tree | 06a34f76f16d66bc48f921c195fa5e370a5afe00 /gtk2_ardour/rc_option_editor.cc | |
parent | a2bf54c041b726a0639dc3294402471ea829bbde (diff) |
Remove cruft (old MIDI feedback API)
Diffstat (limited to 'gtk2_ardour/rc_option_editor.cc')
-rw-r--r-- | gtk2_ardour/rc_option_editor.cc | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/gtk2_ardour/rc_option_editor.cc b/gtk2_ardour/rc_option_editor.cc index 24199f6d98..f20bca19b0 100644 --- a/gtk2_ardour/rc_option_editor.cc +++ b/gtk2_ardour/rc_option_editor.cc @@ -2716,16 +2716,6 @@ if (!Profile->get_mixbus()) { sigc::mem_fun (UIConfiguration::instance(), &UIConfiguration::set_never_display_periodic_midi) )); -#if 0 // unused ?! - add_option (_("MIDI"), - new BoolOption ( - "midi-feedback", - _("Send MIDI control feedback"), - sigc::mem_fun (*_rc_config, &RCConfiguration::get_midi_feedback), - sigc::mem_fun (*_rc_config, &RCConfiguration::set_midi_feedback) - )); -#endif - add_option (_("MIDI"), new OptionEditorHeading (_("Audition"))); add_option (_("MIDI"), |