From dea30e3f4d3d14a8d6aa7e2309564056bb3b3fd7 Mon Sep 17 00:00:00 2001
From: Florian Bruhin <git@the-compiler.org>
Date: Thu, 17 Apr 2014 15:46:29 +0200
Subject: [PATCH] Ensure developer extras are enabled for webinspector

---
 qutebrowser/widgets/mainwindow.py | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/qutebrowser/widgets/mainwindow.py b/qutebrowser/widgets/mainwindow.py
index cb5a71da4..ed3be2b59 100644
--- a/qutebrowser/widgets/mainwindow.py
+++ b/qutebrowser/widgets/mainwindow.py
@@ -136,7 +136,11 @@ class MainWindow(QWidget):
         if self.inspector.isVisible():
             self.inspector.hide()
         else:
-            self.inspector.show()
+            if not config.get('webkit', 'developer_extras_enabled'):
+                self.status.disp_error("Please enable developer-extras before "
+                    "using the webinspector!")
+            else:
+                self.inspector.show()
 
     @pyqtSlot()
     def update_inspector(self):