From 0709c20adb88b587bc659f0b3c6d0a57b60ebdb7 Mon Sep 17 00:00:00 2001 From: Ben Loftis Date: Sun, 1 Oct 2023 14:01:11 -0500 Subject: [PATCH] add a note why preffered-time-domain is NOT editable from rc_option_editor --- gtk2_ardour/rc_option_editor.cc | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/gtk2_ardour/rc_option_editor.cc b/gtk2_ardour/rc_option_editor.cc index 6c1bd478f8..13037e0b21 100644 --- a/gtk2_ardour/rc_option_editor.cc +++ b/gtk2_ardour/rc_option_editor.cc @@ -2388,6 +2388,12 @@ RCOptionEditor::RCOptionEditor () _("When opening an existing session, if the most recent audio engine is available and can open the session's sample rate, the audio engine dialog may be skipped.")); add_option (_("General"), bo ); +#if 0 + /* "preferred-time-domain" + unlike other preferences, this variable would not actually 'change' anything; the session's domain is stored in session-config + so we don't show the rc-config value here. instead, it is invisibly stored in the rc-config, with the user's most recent selection */ +#endif + add_option (_("General"), new OptionEditorHeading (S_("Options|Editor Undo"))); add_option (_("General"), new UndoOptions (_rc_config));