fix edge-case: (move playhead w/o session)

diff --git a/gtk2_ardour/editor_ops.cc b/gtk2_ardour/editor_ops.cc
index 2d718284d28aaed31d8582feb3996b63ea6f9eaf..4b00d22b28ed2f2613236a1bd8b3b02ee9c27ef9 100644 (file)
--- 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();
        }
 }