shell: Schedule repaint when moving a surface
authorKristian Høgsberg <krh@bitplanet.net>
Thu, 21 Jun 2012 16:06:22 +0000 (12:06 -0400)
committerKristian Høgsberg <krh@bitplanet.net>
Thu, 21 Jun 2012 16:32:23 +0000 (12:32 -0400)
commit6c6fb993f7a014198a1b1049529face61a1d59cf
tree305bcb5c35d1ccbdfc561bed513158314cda2217
parent63b298f3c74c5377638cb4db03da835598dbe7fa
shell: Schedule repaint when moving a surface

It seems we used to rely on the repaint scheduled by the cursor motion.
But if there's no cursor, there's no cursor motion, so we need to schedule
our own repaint.
src/shell.c