gnome desktop menu library