diff options
| author | Robin Gareus <robin@gareus.org> | 2018-11-07 19:53:23 +0100 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2018-11-07 19:59:51 +0100 |
| commit | b06713bd8e57a33bdb4544a3de249933e984f1be (patch) | |
| tree | d2a35382e2d36345b4be0624d312df3fda3054ea /gtk2_ardour/session_option_editor.h | |
| parent | 2991afaf0da78f860854f59a7d6c4e64fb519d23 (diff) | |
GUI options to select FLAC as media format
Diffstat (limited to 'gtk2_ardour/session_option_editor.h')
| -rw-r--r-- | gtk2_ardour/session_option_editor.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gtk2_ardour/session_option_editor.h b/gtk2_ardour/session_option_editor.h index 759f28ff18..bf373c8f33 100644 --- a/gtk2_ardour/session_option_editor.h +++ b/gtk2_ardour/session_option_editor.h @@ -31,6 +31,7 @@ class SessionOptionEditor : public OptionEditorWindow { public: SessionOptionEditor (ARDOUR::Session* s); + ~SessionOptionEditor (); private: void parameter_changed (std::string const &); @@ -41,6 +42,7 @@ private: bool get_use_monitor_section (); ComboOption<float>* _vpu; + ComboOption<ARDOUR::SampleFormat>* _sf; EntryOption* _take_name; void save_defaults (); |