input: Schedule pointer sprite repaint when cursor is set
authorJonas Ådahl <jadahl@gmail.com>
Mon, 8 Sep 2014 17:33:41 +0000 (19:33 +0200)
committerPekka Paalanen <pekka.paalanen@collabora.co.uk>
Wed, 10 Sep 2014 11:20:13 +0000 (14:20 +0300)
commit16fe4dcea9be67dd9c396be916b0d4cbb1769e76
tree01de2d9fd35084bbde826fb4ec528e2180af2a4e
parent00535ce6b4bee3daac378e3baa83966dcbd96b0b
input: Schedule pointer sprite repaint when cursor is set

If a cursor was set with wl_pointer.set_cursor but not in combination
with an action that has the side effect of damaging the region where the
cursor is positioned, it would not be drawn. This patch explicitly
schedules a repaint of the pointer sprite when it is set.

clickdot is updated to illustrate the bug; when moving the pointer over
clickdot, the pointer is hidden. When not having moved the pointer for
500 ms it is made visible using wl_pointer.set_pointer.

Signed-off-by: Jonas Ådahl <jadahl@gmail.com>
Reviewed-by: Pekka Paalanen <pekka.paalanen@collabora.co.uk>
clients/clickdot.c
src/input.c