diff options
Diffstat (limited to 'src/settings/settings_webkit.ui')
| -rw-r--r-- | src/settings/settings_webkit.ui | 7 |
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> |