From cbb8bdd48f2b05f8718448b596c4c2da2f34e54b Mon Sep 17 00:00:00 2001 From: Maxim Ermilov Date: Tue, 5 Apr 2011 05:20:44 +0400 Subject: [PATCH] extensionSystem: add missing import https://bugzilla.gnome.org/show_bug.cgi?id=646333 --- js/ui/extensionSystem.js | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/js/ui/extensionSystem.js b/js/ui/extensionSystem.js index eb82bc3..9dd3a47 100644 --- a/js/ui/extensionSystem.js +++ b/js/ui/extensionSystem.js @@ -3,6 +3,7 @@ const GLib = imports.gi.GLib; const Gio = imports.gi.Gio; const St = imports.gi.St; +const Shell = imports.gi.Shell; const Config = imports.misc.config; -- 1.7.4.2