summaryrefslogtreecommitdiff
path: root/src/settings/settings_webkit.ui
diff options
context:
space:
mode:
authorFelix Rohrbach <fxrh@gmx.de>2011-01-10 21:10:39 +0100
committerFelix Rohrbach <fxrh@gmx.de>2011-01-15 12:13:00 +0100
commitbdf8ed4c678acb07f273fd3b722dd39773348395 (patch)
treeda3780d90278d79d48a63255f04ea4f27fe5b68c /src/settings/settings_webkit.ui
parentFixes as pointed out by Krazy (diff)
downloadrekonq-bdf8ed4c678acb07f273fd3b722dd39773348395.tar.xz
This commit contains the changes to the context menu which we decided in our meeting:
1. Hide new tab entry if it is not necessary. 2. Print and Search action: I removed the print action. The search action is now in the "search with" submenu if some text is selected. 3. Hide the development menu entries and add an option to show them. RB: 100374
Diffstat (limited to 'src/settings/settings_webkit.ui')
-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>