void WTimerWidget::updateDom(DomElement& element, bool all) { if (timerStarted_ || ((!WApplication::instance()->environment().javaScript() || all) && timer_->isActive())) { element.setTimeout(timer_->getRemainingInterval(), jsRepeat_); timerStarted_ = false; } WInteractWidget::updateDom(element, all); }