Ensure developer extras are enabled for webinspector

2014-04-17 15:46:29 +02:00 · 2014-04-17 15:46:29 +02:00 · dea30e3f4d
commit dea30e3f4d
parent 975fa013c4
1 changed files with 5 additions and 1 deletions
--- 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):