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
2017-01-25 17:42:49 +01:00 · 2017-01-25 17:42:49 +01:00 · e0d7d28c20
commit e0d7d28c20
parent a82c564a73
1 changed files with 3 additions and 0 deletions
--- 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;
    },