+ // the new style sound directory
+ return sources_root() / sound_dir_name / stub_dir_name;
+}
+
+const path
+SessionDirectory::midi_path () const
+{
+ return sources_root() / midi_dir_name;
+}
+
+const path
+SessionDirectory::midi_stub_path () const
+{
+ return sources_root() / midi_dir_name / stub_dir_name;
+}
+
+const path
+SessionDirectory::midi_patch_path () const
+{
+ return sources_root() / midi_patch_dir_name;