Re: mise a jour des menus wmaker

[Seki]

Sylvain LE GALL m'a envoyé la solution que je me permet de reproduire ici, ça 
pourra sans doute resservir:

echo \"menu.hook\" > ~/GNUstep/Defaults/WMRootMenu

Et voilà, le menu est à nouveau dynamique.

Sébastien Kirche