diff options
| author | Kristian Høgsberg <krh@bitplanet.net> | 2012-04-11 22:42:15 -0400 |
|---|---|---|
| committer | Kristian Høgsberg <krh@bitplanet.net> | 2012-04-11 22:42:15 -0400 |
| commit | eae5de76090e18f7a4c2f654cfd94307fc2dbdd8 (patch) | |
| tree | 13fa378e397407199b28a9f1cf493b1c4b9ae9ab /protocol | |
| parent | ee4b4cb933ca85090e5ffbbea0640be76a451e18 (diff) | |
Follow wayland change to serial numbers
Diffstat (limited to 'protocol')
| -rw-r--r-- | protocol/desktop-shell.xml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/protocol/desktop-shell.xml b/protocol/desktop-shell.xml index c40cf179..836b1278 100644 --- a/protocol/desktop-shell.xml +++ b/protocol/desktop-shell.xml @@ -20,7 +20,6 @@ <!-- We'll fold most of wl_shell into this interface and then they'll share the configure event. --> <event name="configure"> - <arg name="time" type="uint"/> <arg name="edges" type="uint"/> <arg name="surface" type="object" interface="wl_shell_surface"/> <arg name="width" type="int"/> |