Hi Henrik, > Still same problem when I tried from home today, despite the patch,
You mean only the patch of '_htHead', or also fixing the described bug? Unfortunately, I cannot debug this here, as I can't reproduce the problem. > what do we do? Did you take a look at my non-GUI example, could it be > a way forward for me? I do not think that this makes a fundamental difference. It is just wild guessing as long as we don't find the reason of the problems. Cheers, - Alex -- UNSUBSCRIBE: mailto:picol...@software-lab.de?subject=unsubscribe