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

This commit is contained in:
Robin Gareus 2015-10-22 14:14:27 +02:00
parent 5bdc869e49
commit d04c16e927

View File

@ -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();
}
}