It also appears that the image does not update until the event *after* the one that caused the window to change. For instance if you push a button, the button does not draw pushed-in until the mouse is moved.
Are these known problems or is something wrong with my setup?
<<attachment: Screenshot from 2013-06-28 10:19:20.png>>
_______________________________________________ wayland-devel mailing list wayland-devel@lists.freedesktop.org http://lists.freedesktop.org/mailman/listinfo/wayland-devel