#760: use gnome3 style menu ------------------------+----------------------- Reporter: jmoskovc | Owner: jfilak@… Type: defect | Status: new Priority: major | Milestone: Component: gnome-abrt | Version: Keywords: | Blocked By: Blocking: | ------------------------+----------------------- the preference button should not be part of the main window