summaryrefslogtreecommitdiff
path: root/gtk2_ardour/rc_option_editor.cc
diff options
context:
space:
mode:
authorRobin Gareus <robin@gareus.org>2016-12-30 17:29:08 +0100
committerRobin Gareus <robin@gareus.org>2016-12-30 17:29:08 +0100
commit3afe3f32df076a6b47c1e40990abcd4d7ae4b593 (patch)
tree06a34f76f16d66bc48f921c195fa5e370a5afe00 /gtk2_ardour/rc_option_editor.cc
parenta2bf54c041b726a0639dc3294402471ea829bbde (diff)
Remove cruft (old MIDI feedback API)
Diffstat (limited to 'gtk2_ardour/rc_option_editor.cc')
-rw-r--r--gtk2_ardour/rc_option_editor.cc10
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"),