device-manager: select/unselect device events as device change
authorCosimo Cecchi <cosimoc@gnome.org>
Tue, 24 Apr 2012 14:21:25 +0000 (10:21 -0400)
committerCosimo Cecchi <cosimoc@gnome.org>
Tue, 24 Apr 2012 22:49:42 +0000 (18:49 -0400)
commit032870dcccd116045c8bed641ab894c229299c82
treef1418159a9a53b77cbdabcd18acbbac69cc430fe
parentb746044415ba8eb2d4c4263aeec038257f1bf2f3
device-manager: select/unselect device events as device change

When a device is added or changes, select/unselect events from X
accordingly.

https://bugzilla.gnome.org/show_bug.cgi?id=673644
clutter/x11/clutter-device-manager-xi2.c
clutter/x11/clutter-stage-x11.c
clutter/x11/clutter-stage-x11.h