[Bug 537040] Gnome Main-menu is too large to fit the screen.