void WInteractWidget::setMouseOverDelay(int delay) { mouseOverDelay_ = delay; EventSignal<WMouseEvent> *mouseOver = mouseEventSignal(MOUSE_OVER_SIGNAL, false); if (mouseOver) mouseOver->senderRepaint(); }