diff options
| author | Andrea Diamantini <adjam7@gmail.com> | 2011-08-04 11:43:23 +0200 |
|---|---|---|
| committer | Andrea Diamantini <adjam7@gmail.com> | 2011-08-04 11:48:57 +0200 |
| commit | 309cd39927b613c378346a29330333be727c2a99 (patch) | |
| tree | 994c7b1b0f189eddb530c5d83688b9c6016ac9a9 /src/settings/settings_webkit.ui | |
| parent | action to search with default searchEnine in marked text's context menu. REVI... (diff) | |
| download | rekonq-309cd39927b613c378346a29330333be727c2a99.tar.xz | |
Tools Action Menu
- Removed showDeveloperTools action
- Moved adblock GUI to adblock part
- renamed toolsMenu and developerMenu to reflect their real/new roles
- Added UserAgent action to the tools menu
REVIEW:102170
REVIEWED-BY: fritz_van_tom
Diffstat (limited to 'src/settings/settings_webkit.ui')
| -rw-r--r-- | src/settings/settings_webkit.ui | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/settings/settings_webkit.ui b/src/settings/settings_webkit.ui index 00bced99..58fbe459 100644 --- a/src/settings/settings_webkit.ui +++ b/src/settings/settings_webkit.ui @@ -120,13 +120,6 @@ </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> |