Bug?

[Mark P Jones]

Hi Roberto,

| I've noticed that the WinHugs application eats 100% of the available =
CPU even
| when it isn't doing any work, just blinking the cursor!!!

This is a well-known problem with the WinHugs user interface, and is one
of the reasons why use of WinHugs has been discouraged.  The user manual
comments on this, for example, but perhaps the wording should be =
stronger!
WinHugs was even left out of the Hugs distribution at one stage because
these problems were felt to be too severe.  But people still asked for =
it
and so WinHugs made it back into the distribution ...

The WinHugs interface eats CPU because of the style in which it was =
written.
The original author of the WinHugs GUI, Pepe Gallardo, did produce a =
newer
version that avoided these problems, but I don't know what happened to =
it;
I'm not aware of a source for it on the web.  Pepe, if you're out there,
I'm sure folks like Roberto would be happy to hear from you!

In the meantime, I wouldn't recommend using WinHugs for everyday use.

All the best,
Mark