[gnome-shell] main: Inhibit animations if X server advertises VNC-EXTENSION

[Jonas Ådahl <jadahl src gnome org>]

commit 4b42879a2c2027922a195c41a4cb97d31437108d
Author: Jonas Ådahl <jadahl gmail com>
Date:   Tue Oct 1 12:03:52 2019 +0200

    main: Inhibit animations if X server advertises VNC-EXTENSION
    
    This was previously done by gsd-xsettings to disable animations when
    running in Xvnc.
    
    https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/757

 js/ui/main.js | 7 +++++++
 1 file changed, 7 insertions(+)
---
diff --git a/js/ui/main.js b/js/ui/main.js
index 09f1465e4f..65cbbd3ac8 100644
--- a/js/ui/main.js
+++ b/js/ui/main.js
@@ -768,5 +768,12 @@ var AnimationsSettings = class {
             St.Settings.get().inhibit_animations();
             return;
         }
+
+        let isXvnc = Shell.util_has_x11_display_extension(
+            global.display, 'VNC-EXTENSION');
+        if (isXvnc) {
+            St.Settings.get().inhibit_animations();
+            return;
+        }
     }
 };