Multiple calls to WTimer::start() fail
I have a single shot WTimer that is just meant to hide some controls after a period of inactivity. If I let the timer trigger and restart it, then it all works fine. However, if the timer is restarted before it triggers then the timer seems to stop working. The Wt source code seems to suggest that it should just reset the interval, but that is not what I am seeing. This is using Wt 3.2.3 and I've tried it in Chrome and FF.