From ac4f9ec30b5f37feb79d55c6a832397bf224a167 Mon Sep 17 00:00:00 2001
From: Olaf Leidinger <oleid@mescharet.de>
Date: Tue, 18 Feb 2014 21:40:38 +0100
Subject: [PATCH] remove unused constant to make the extension work on wheezy

---
 src/extension.js | 1 -
 src/prefs.js     | 1 -
 2 files changed, 2 deletions(-)

diff --git a/src/extension.js b/src/extension.js
index 093eb50..13a3b8c 100644
--- a/src/extension.js
+++ b/src/extension.js
@@ -6,7 +6,6 @@
 const Gdk = imports.gi.Gdk;
 const Gio = imports.gi.Gio;
 const GLib = imports.gi.GLib;
-const GnomeDesktop = imports.gi.GnomeDesktop;
 const Lang = imports.lang;
 const Mainloop = imports.mainloop; // timer
 const Shell = imports.gi.Shell;
diff --git a/src/prefs.js b/src/prefs.js
index 0170e48..58928c5 100644
--- a/src/prefs.js
+++ b/src/prefs.js
@@ -6,7 +6,6 @@
 const Gdk = imports.gi.Gdk;
 const Gio = imports.gi.Gio;
 const GLib = imports.gi.GLib;
-const GnomeDesktop = imports.gi.GnomeDesktop;
 const Mainloop = imports.mainloop; // timer
 const St = imports.gi.St;
 const Clutter = imports.gi.Clutter;