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

> 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.

- Alex
UNSUBSCRIBE: mailto:picol...@software-lab.de?subject=unsubscribe

Reply via email to