add API to get current MIDI option from an audio/MIDI backend

diff --git a/libs/ardour/ardour/audio_backend.h b/libs/ardour/ardour/audio_backend.h
index f596164de79150adb278eb24d5982b53fb4ea057..4f7a153eec290fce7241109d7bccc76ce5270ac1 100644 (file)
--- a/libs/ardour/ardour/audio_backend.h
+++ b/libs/ardour/ardour/audio_backend.h
@@ -257,6 +257,8 @@ class AudioBackend : public PortEngine {
      * @return zero if successful, non-zero otherwise
      */
     virtual int set_midi_option (const std::string& option) = 0;
+
+    virtual std::string midi_option () const = 0;
     
     /* State Control */