Skip to content
Commit bf695967 authored by Martin Walch's avatar Martin Walch
Browse files

Refresh stale time display in the status bar at end of game

A timer periodically triggers updates of the time display in the status bar.
The timer stops at the end of the game without updating the status bar for a
last time, leaving a potentially stale time display.

Fix it by explicitly updating the status bar after stopping the timer.

BUG: 418857
parent 86a750f7
Pipeline #127518 failed with stage
in 45 seconds
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment