On Thu, 23 Mar 2000, Matthias Elter wrote:

> By the way, the Windows/* modules did not work for me (speak: did not
> have any
> visible effect) so I disabled them for the time being. Perhaps this was
> a mistake.
> I'm going to look into that. Or perhaps you have some time to
> investigate?

Now I know. Somebody changed the KIntNumInput API and didn't fix the
applications.

I'm fixing this now.

Cristian Tibirna