summaryrefslogtreecommitdiff
path: root/src/settings
diff options
context:
space:
mode:
Diffstat (limited to 'src/settings')
-rw-r--r--src/settings/settings_webkit.ui7
1 files changed, 7 insertions, 0 deletions
diff --git a/src/settings/settings_webkit.ui b/src/settings/settings_webkit.ui
index 58fbe459..00bced99 100644
--- a/src/settings/settings_webkit.ui
+++ b/src/settings/settings_webkit.ui
@@ -120,6 +120,13 @@
</property>
</widget>
</item>
+ <item row="7" column="0">
+ <widget class="QCheckBox" name="kcfg_showDeveloperTools">
+ <property name="text">
+ <string>Show web developer tools</string>
+ </property>
+ </widget>
+ </item>
</layout>
</widget>
</item>