Problem still exists on Ubuntu 7.10 (Gutsy Gibbon). Deleting /etc/xdg/menus/debian-menu.menu is not an option, since it doesn't exist.
Problem still exists on Ubuntu 7.10 (Gutsy Gibbon). Deleting /etc/xdg/ menus/debian- menu.menu is not an option, since it doesn't exist.