diff options
author | Paul Davis <paul@linuxaudiosystems.com> | 2020-03-25 10:25:00 -0600 |
---|---|---|
committer | Paul Davis <paul@linuxaudiosystems.com> | 2020-03-25 10:25:00 -0600 |
commit | b3cbd8f44ea88d64c553fe620658b1a620667fc7 (patch) | |
tree | 811d4c159369bdf8ec0f9f03c6780d2e5818c0ca | |
parent | 1157c7d45704cdea7392c962caade327405fd6eb (diff) |
if user chooses not to delete a scratch session, removed the file that identifies it as unnamed (GUI)
-rw-r--r-- | gtk2_ardour/ardour_ui.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gtk2_ardour/ardour_ui.cc b/gtk2_ardour/ardour_ui.cc index 04985c85b5..27895c2ae0 100644 --- a/gtk2_ardour/ardour_ui.cc +++ b/gtk2_ardour/ardour_ui.cc @@ -1097,6 +1097,8 @@ ARDOUR_UI::ask_about_scratch_deletion () if (r == Gtk::RESPONSE_OK) { PBD::remove_directory (path); + } else { + _session->end_unnamed_status (); } } |