aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFrederic Crozat <fcrozat@mandriva.com>2007-10-23 14:38:19 +0000
committerFrederic Crozat <fcrozat@mandriva.com>2007-10-23 14:38:19 +0000
commit13db95c5f47958704d1707ba7e10f261dbff45e9 (patch)
tree74479246b1193c1b6263ab6e0a3106203f1ed06a
parent9aaf2a47f0714e1e48e043d364d4361bc2f073c8 (diff)
downloadcommon-data-13db95c5f47958704d1707ba7e10f261dbff45e9.tar
common-data-13db95c5f47958704d1707ba7e10f261dbff45e9.tar.gz
common-data-13db95c5f47958704d1707ba7e10f261dbff45e9.tar.bz2
common-data-13db95c5f47958704d1707ba7e10f261dbff45e9.tar.xz
common-data-13db95c5f47958704d1707ba7e10f261dbff45e9.zip
Fix query for Tools menu (Mdv bug #34957)
-rw-r--r--menu/applications.menu.in55
1 files changed, 32 insertions, 23 deletions
diff --git a/menu/applications.menu.in b/menu/applications.menu.in
index 623f214..feb227d 100644
--- a/menu/applications.menu.in
+++ b/menu/applications.menu.in
@@ -338,30 +338,39 @@
<Category>Settings</Category>
</Or>
<Not>
- <Category>Accessibility</Category>
- <Category>Monitor</Category>
- <Category>System</Category>
- <Category>Emulator</Category>
- <Category>HardwareSettings</Category>
- <Category>PackageManager</Category>
- <Category>X-MandrivaLinux-More</Category>
- <Category>Printing</Category>
- <Category>X-KDE-settings-accessibility</Category>
- <Category>X-KDE-settings-components</Category>
- <Category>X-KDE-settings-desktop</Category>
- <Category>X-KDE-settings-looknfeel</Category>
- <Category>X-KDE-settings-network</Category>
- <Category>X-KDE-settings-webbrowsing</Category>
- <Category>X-KDE-settings-peripherals</Category>
- <Category>X-KDE-settings-hardware</Category>
- <Category>X-KDE-settings-power</Category>
- <Category>X-KDE-settings-security</Category>
- <Category>X-KDE-settings-sound</Category>
- <Category>X-KDE-settings-system</Category>
- <Category>X-KDE-information</Category>
<And>
- <Category>GNOME</Category>
- <Category>Settings</Category>
+ <Or>
+ <Category>Accessibility</Category>
+ <Category>Monitor</Category>
+ <Category>System</Category>
+ <Category>TerminalEmulator</Category>
+ <Category>Emulator</Category>
+ <Category>HardwareSettings</Category>
+ <Category>PackageManager</Category>
+ <Category>X-MandrivaLinux-More</Category>
+ <Category>Printing</Category>
+ <Category>X-KDE-settings-accessibility</Category>
+ <Category>X-KDE-settings-components</Category>
+ <Category>X-KDE-settings-desktop</Category>
+ <Category>X-KDE-settings-looknfeel</Category>
+ <Category>X-KDE-settings-network</Category>
+ <Category>X-KDE-settings-webbrowsing</Category>
+ <Category>X-KDE-settings-peripherals</Category>
+ <Category>X-KDE-settings-hardware</Category>
+ <Category>X-KDE-settings-power</Category>
+ <Category>X-KDE-settings-security</Category>
+ <Category>X-KDE-settings-sound</Category>
+ <Category>X-KDE-settings-system</Category>
+ <Category>X-KDE-information</Category>
+ <And>
+ <Category>GNOME</Category>
+ <Category>Settings</Category>
+ </And>
+ </Or>
+ <Not>
+ <Category>TextEditor</Category>
+ <Category>TerminalEmulator</Category>
+ </Not>
</And>
</Not>
</And>