Comment 4 for bug 787465

But the gnome-shell does not have any global menu yet.