From Bugzilla Helper: User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.4) Gecko/20030703 Description of problem: "Desktop Switching Tool" ( switchdesk ) has two identical menu entries: 1) Main Menu / Preferences / More Preferences / Desktop Switching Tool 2) Main Menu / System Settings / More System Settings / Desktop Switching Tool One might think that they serve different purposes: 1) user specific desktop switcher vs 2) system wide desktop switcher. However it is not true. Both menu entries are _absolutely_ identical. Version-Release number of selected component (if applicable): switchdesk-3.9.8-18
it's fixed in 4.0.0, which is available in rawhide