Send out coordinates with pointer_focus event

We can't rely on motion events happening right away, pointer_focus could
change because of windows coming or going etc.
This commit is contained in:
Kristian Høgsberg 2010-08-06 15:12:22 -04:00
parent c071f4d008
commit 6d70202f80
5 changed files with 25 additions and 10 deletions

View file

@ -124,6 +124,10 @@
<event name="pointer_focus">
<arg name="time" type="uint"/>
<arg name="surface" type="surface"/>
<arg name="x" type="int"/>
<arg name="y" type="int"/>
<arg name="surface_x" type="int"/>
<arg name="surface_y" type="int"/>
</event>
<event name="keyboard_focus">