diff options
| author | Kristian Høgsberg <krh@bitplanet.net> | 2011-07-11 11:15:00 -0400 |
|---|---|---|
| committer | Kristian Høgsberg <krh@bitplanet.net> | 2011-07-11 11:15:00 -0400 |
| commit | 671a62cb968b6793f0504770888b23b79e6fb81e (patch) | |
| tree | c8b779869656bfd9c28cd88a3dd1f00363d87c4b | |
| parent | ff1a06c03abfa18c18986d42683d69aa47f7d841 (diff) | |
protocol: Make id arg of display.global event be just a uint
Global names are different from object IDs.
| -rw-r--r-- | protocol/wayland.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/protocol/wayland.xml b/protocol/wayland.xml index 8d8afa4..45c29ca 100644 --- a/protocol/wayland.xml +++ b/protocol/wayland.xml @@ -48,7 +48,7 @@ server will always announce an object before the object sends out events. --> <event name="global"> - <arg name="id" type="new_id" interface="wl_object"/> + <arg name="id" type="uint" interface="wl_object"/> <arg name="name" type="string"/> <arg name="version" type="uint"/> </event> |