diff options
| author | Frederic Crozat <fcrozat@mandriva.com> | 2007-10-23 14:38:19 +0000 |
|---|---|---|
| committer | Frederic Crozat <fcrozat@mandriva.com> | 2007-10-23 14:38:19 +0000 |
| commit | 13db95c5f47958704d1707ba7e10f261dbff45e9 (patch) | |
| tree | 74479246b1193c1b6263ab6e0a3106203f1ed06a | |
| parent | 9aaf2a47f0714e1e48e043d364d4361bc2f073c8 (diff) | |
| download | common-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.in | 55 |
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> |