[PATCH] protocol: input documentation fixes

[Kristian Høgsberg]

On Thu, Apr 04, 2013 at 11:06:02AM +1000, Peter Hutterer wrote:
> Fix summary for wl_touch::motion, extend summary for wl_touch::down to match
> up/motion a bit better.
> 
> Fix a typo in wl_touch, and claim that it's zero or more update events, not
> one or more.
> 
> Signed-off-by: Peter Hutterer <peter.hutterer at who-t.net>
> ---
>  protocol/wayland.xml | 8 ++++----
>  1 file changed, 4 insertions(+), 4 deletions(-)

Thanks, all good fixes.  This and the 5 patch series pushed, and the
http://wayland.freedesktop.org/docs copy updated.

Kristian

> diff --git a/protocol/wayland.xml b/protocol/wayland.xml
> index 45a3298..eda9441 100644
> --- a/protocol/wayland.xml
> +++ b/protocol/wayland.xml
> @@ -1400,13 +1400,13 @@
>  
>        Touch interactions can consist of one or more contacts.
>        For each contact, a series of events is generated, starting
> -      with a down event, followed by one or more motion events,
> -      and ended with an up event. Events relating to the same
> +      with a down event, followed by zero or more motion events,
> +      and ending with an up event. Events relating to the same
>        contact point can be identified by the ID of the sequence.
>      </description>
>  
>      <event name="down">
> -      <description summary="touch down event">
> +      <description summary="touch down event and beginning of a touch sequence">
>  	A new touch point has appeared on the surface. This touch point is
>  	assigned a unique @id. Future events from this touchpoint reference
>  	this ID. The ID ceases to be valid after a touch up event and may be
> @@ -1432,7 +1432,7 @@
>      </event>
>  
>      <event name="motion">
> -      <description summary="end of a touch event sequence">
> +      <description summary="update of touch point coordinates">
>  	A touchpoint has changed coordinates.
>        </description>
>        <arg name="time" type="uint" summary="timestamp with millisecond granularity"/>
> -- 
> 1.8.1.4
>