From db6deb45f7971eacb75d409b86819568fdda81d2 Mon Sep 17 00:00:00 2001
From: Jens Lody <jens@jenslody.de>
Date: Sat, 9 Nov 2013 01:14:22 +0100
Subject: [PATCH] Add missing import in prefs.js

---
 src/prefs.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/prefs.js b/src/prefs.js
index d1da093..24ace2b 100644
--- a/src/prefs.js
+++ b/src/prefs.js
@@ -38,6 +38,7 @@ const Soup = imports.gi.Soup;
 const Lang = imports.lang;
 const ExtensionUtils = imports.misc.extensionUtils;
 const Me = ExtensionUtils.getCurrentExtension();
+const Config = imports.misc.config;
 const Convenience = Me.imports.convenience;
 
 const EXTENSIONDIR = Me.dir.get_path();