Rethinking of global menu on Gnome Shell