mirror of
https://github.com/brl/mutter.git
synced 2024-11-23 00:20:42 -05:00
591d31c970
If the device manager is created and queried for the client pointer at a very early stage in application lifetime, the device_id returned would be 0 as the server hasn't apparently decided yet about the client pointer. For these situations, doing XSync prior to fetching the client pointer gets the server to device about the client pointer before we query it. https://bugzilla.gnome.org/show_bug.cgi?id=735388 |
||
---|---|---|
.. | ||
xsettings | ||
clutter-backend-x11.c | ||
clutter-backend-x11.h | ||
clutter-device-manager-core-x11.c | ||
clutter-device-manager-core-x11.h | ||
clutter-device-manager-xi2.c | ||
clutter-device-manager-xi2.h | ||
clutter-event-x11.c | ||
clutter-glx-texture-pixmap.c | ||
clutter-glx-texture-pixmap.h | ||
clutter-glx.h | ||
clutter-input-device-core-x11.c | ||
clutter-input-device-core-x11.h | ||
clutter-input-device-xi2.c | ||
clutter-input-device-xi2.h | ||
clutter-keymap-x11.c | ||
clutter-keymap-x11.h | ||
clutter-settings-x11.h | ||
clutter-stage-x11.c | ||
clutter-stage-x11.h | ||
clutter-x11-texture-pixmap.c | ||
clutter-x11-texture-pixmap.h | ||
clutter-x11.h |