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