No matches were found for subject:"\[Bug 223075\] Re\: gnome main menu applet makes panel size to large"