Re: mise a jour des menus wmaker

2004-02-07 Par sujet 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

mise a jour des menus wmaker

2004-02-06 Par sujet Sébastien Kirche
Bonjour, j'ai un problème avec mes menus sous windowmaker : depuis quelques jours sans avoir remarqué depuis quand (ou quelle manip) exactement, les menus ne plus remis à jour après une installation de logiciel. Au moment de taper ceci, je crois me rappeler avoir été dans wmakerconf (ou

Re: mise a jour des menus wmaker

2004-02-06 Par sujet François TOURDE
Le 12454ième jour après Epoch, Sébastien Kirche écrivait: Bonjour, j'ai un problème avec mes menus sous windowmaker : depuis quelques jours sans avoir remarqué depuis quand (ou quelle manip) exactement, les menus ne plus remis à jour après une installation de logiciel. Au moment de