From 3d95424147c7e91322af136e5e9051cd4f9f4d4f Mon Sep 17 00:00:00 2001
From: Andreas Haas <liu.gam3@gmail.com>
Date: Sat, 1 Jul 2017 17:49:43 +0200
Subject: [PATCH] Animation Editor: Fix trying to stop playback without player.

Fixes #9280

(cherry picked from commit bb9daaccfff193b9b20ff0679baef716fc6ee892)
---
 editor/plugins/animation_player_editor_plugin.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/editor/plugins/animation_player_editor_plugin.cpp b/editor/plugins/animation_player_editor_plugin.cpp
index 3305cece097..62e87f445e7 100644
--- a/editor/plugins/animation_player_editor_plugin.cpp
+++ b/editor/plugins/animation_player_editor_plugin.cpp
@@ -255,6 +255,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);