| 2460 | } |
| 2461 | |
| 2462 | void OnTimeout() override |
| 2463 | { |
| 2464 | this->SetWidgetsLoweredState(false, WID_TE_DATE_BACKWARD, WID_TE_DATE_FORWARD); |
| 2465 | this->SetWidgetDirty(WID_TE_DATE_BACKWARD); |
| 2466 | this->SetWidgetDirty(WID_TE_DATE_FORWARD); |
| 2467 | } |
| 2468 | |
| 2469 | /** Refresh the state of pause / game-speed on a regular interval.*/ |
| 2470 | const IntervalTimer<TimerWindow> refresh_interval = {std::chrono::milliseconds(30), [this](auto) { |
nothing calls this directly
no test coverage detected