Lua: gui.synchronous_repaint()