From 9f39ce5d278e30db5f6f88103a84b734eb3ee3a7 Mon Sep 17 00:00:00 2001
From: Colin Walters <walters@verbum.org>
Date: Fri, 10 Dec 2010 15:03:26 -0500
Subject: [PATCH] Explicitly specify JS version

See bug 636652 for rationale.

https://bugzilla.gnome.org/show_bug.cgi?id=636983
---
 src/gnome-shell-plugin.c | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/gnome-shell-plugin.c b/src/gnome-shell-plugin.c
index 9d96303c0..69e63a272 100644
--- a/src/gnome-shell-plugin.c
+++ b/src/gnome-shell-plugin.c
@@ -364,7 +364,10 @@ gnome_shell_plugin_start (MetaPlugin *plugin)
     shell_js = JSDIR;
 
   search_path = g_strsplit(shell_js, ":", -1);
-  shell_plugin->gjs_context = gjs_context_new_with_search_path(search_path);
+  shell_plugin->gjs_context = g_object_new (GJS_TYPE_CONTEXT,
+                                            "search-path", search_path,
+                                            "js-version", "1.8",
+                                            NULL);
   g_strfreev(search_path);
 
   /* Disable the gnome-volume-control debug */