From bdf8ed4c678acb07f273fd3b722dd39773348395 Mon Sep 17 00:00:00 2001
From: Felix Rohrbach <fxrh@gmx.de>
Date: Mon, 10 Jan 2011 21:10:39 +0100
Subject: 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
---
 src/settings/settings_webkit.ui | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'src/settings')

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>
-- 
cgit v1.2.1