Le Sun, 5 May 2013 18:24:39 +0200, Dominique Michel <dominique.mic...@vtxnet.ch> a écrit :
> Le Sun, 05 May 2013 14:56:53 +0200, > Thomas Funk <t.f...@web.de> a écrit : > > > Dominique Michel wrote: > > > > > https://sourceforge.net/p/fvwm-crystal/code/HEAD/tree/fvwm/scripts/FontSelector/FontSelector > > A little remark to your script > > > > to reduce code you can use for loops to assign your font to the > > widgets: For $Widget=1 To 6 Do It look like my script have another and much bigger problem. It was working fine yesterday, but it just crash at startup today. It I move the ChangeTitle and ShowWidget stuffs from Init to the Periodic section, I cannot reproduce this bug, even after restarting the machine. That also seam to imply that Fvwm must have some kind of internal cache that keep stuff from a previous run of this script. How can I be sure this cache is cleaned without to restart the machine? Dominique -- "We have the heroes we deserve."
