[Ubuntu] Occasional game freezes
OlivierSohn opened this issue · comments
On Ubuntu (18.04 at least), this bug in GLFW, makes the game occasionally freeze until the player generates an event in the window (a key-press, a mouse movement).
As a workaround, maybe posting an empty event with a small (o(ms) or o(us)) time delay will ensure that the freeze is not noticeable for the user.
Note that this bug doesn't happen on OSX.
This commit implements the workaround.