How to un-break GNOME menus

Filed under
Software