gnome-main-menu 0.9.16
gnome-main-menu est un ensemble de trois services publics. Il est un applet gnome-panel similaire le menu principal traditionnelle, mais quelques ajouts et modifications. En particulier, le menu de gnome-principale ne fournit pas un accès direct à toutes...