diff options
| author | Andreas Haas <liu.gam3@gmail.com> | 2017-07-01 17:49:43 +0200 |
|---|---|---|
| committer | Andreas Haas <liu.gam3@gmail.com> | 2017-07-01 20:26:41 +0200 |
| commit | bb9daaccfff193b9b20ff0679baef716fc6ee892 (patch) | |
| tree | 739b9317a0fc8e2a6ebfa98cd4d97229011bceed /editor/plugins | |
| parent | 2ee86c773a3f551e81d0353bae841fdb2eba1c74 (diff) | |
Animation Editor: Fix trying to stop playback without player.
Fixes #9280
Diffstat (limited to 'editor/plugins')
| -rw-r--r-- | editor/plugins/animation_player_editor_plugin.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/editor/plugins/animation_player_editor_plugin.cpp b/editor/plugins/animation_player_editor_plugin.cpp index 28c5b89741..c3e1f60ccc 100644 --- a/editor/plugins/animation_player_editor_plugin.cpp +++ b/editor/plugins/animation_player_editor_plugin.cpp @@ -254,6 +254,10 @@ void AnimationPlayerEditor::_play_bw_from_pressed() { } void AnimationPlayerEditor::_stop_pressed() { + if (!player) { + return; + } + player->stop(false); play->set_pressed(false); stop->set_pressed(true); |