Animation Editor: Fix trying to stop playback without player.

Fixes #9280
This commit is contained in:
Andreas Haas 2017-07-01 17:49:43 +02:00
parent 2ee86c773a
commit bb9daaccff
No known key found for this signature in database
GPG key ID: B5FFAE1B65FBD2E1

View file

@ -254,6 +254,10 @@ void AnimationPlayerEditor::_play_bw_from_pressed() {
} }
void AnimationPlayerEditor::_stop_pressed() { void AnimationPlayerEditor::_stop_pressed() {
if (!player) {
return;
}
player->stop(false); player->stop(false);
play->set_pressed(false); play->set_pressed(false);
stop->set_pressed(true); stop->set_pressed(true);