[gnome-shell] windowManager: Avoid fullscreen animation if the window has no texture

[Carlos Garnacho <carlosg src gnome org>]

commit e0d7d28c20be69e35334b22eab5f349641f2328f
Author: Carlos Garnacho <carlosg gnome org>
Date:   Wed Jan 25 17:42:49 2017 +0100

    windowManager: Avoid fullscreen animation if the window has no texture
    
    There is hardly anything to animate, so just avoid the animation in this
    case.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=777784

 js/ui/windowManager.js |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 551c335..7fe4ac3 100644
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -1082,6 +1082,9 @@ const WindowManager = new Lang.Class({
         if (!this._shouldAnimate())
             return false;
 
+        if (!actor.get_texture())
+            return false;
+
         let type = actor.meta_window.get_window_type();
         return types.indexOf(type) >= 0;
     },