diff options
| author | Felix Rohrbach <fxrh@gmx.de> | 2011-01-10 21:10:39 +0100 |
|---|---|---|
| committer | Felix Rohrbach <fxrh@gmx.de> | 2011-01-15 12:13:00 +0100 |
| commit | bdf8ed4c678acb07f273fd3b722dd39773348395 (patch) | |
| tree | da3780d90278d79d48a63255f04ea4f27fe5b68c /src/settings/settings_webkit.ui | |
| parent | Fixes as pointed out by Krazy (diff) | |
| download | rekonq-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.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> |