From d04c16e9272c036b76d35ce8f5ea8786817ccb87 Mon Sep 17 00:00:00 2001 From: Robin Gareus Date: Thu, 22 Oct 2015 14:14:27 +0200 Subject: [PATCH] fix edge-case: (move playhead w/o session) --- gtk2_ardour/editor_ops.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gtk2_ardour/editor_ops.cc b/gtk2_ardour/editor_ops.cc index 2d718284d2..4b00d22b28 100644 --- a/gtk2_ardour/editor_ops.cc +++ b/gtk2_ardour/editor_ops.cc @@ -6122,7 +6122,7 @@ Editor::set_playhead_cursor () } } - if (UIConfiguration::instance().get_follow_edits() && !_session->config.get_external_sync()) { + if (UIConfiguration::instance().get_follow_edits() && (!_session || !_session->config.get_external_sync())) { cancel_time_selection(); } }