diff options
author | Kristian Høgsberg <krh@bitplanet.net> | 2011-09-06 13:48:16 -0400 |
---|---|---|
committer | Kristian Høgsberg <krh@bitplanet.net> | 2011-09-06 13:48:16 -0400 |
commit | 75840621534fc0159493a62d8fd479af9ce252c4 (patch) | |
tree | 340f55be0e338bff4e8f0b00ae49b1921e7c030a /protocol | |
parent | f59da399d81525feddd9f9f955041b261587fe34 (diff) |
Add a desktop_shell interface
Mostly a toy-thing for now, to allow prototyping a desktop-shell client.
Diffstat (limited to 'protocol')
-rw-r--r-- | protocol/desktop-shell.xml | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/protocol/desktop-shell.xml b/protocol/desktop-shell.xml new file mode 100644 index 0000000..438773d --- /dev/null +++ b/protocol/desktop-shell.xml @@ -0,0 +1,24 @@ +<protocol name="desktop"> + + <interface name="desktop_shell" version="1"> + <request name="set_background"> + <arg name="surface" type="object" interface="wl_surface"/> + </request> + + <request name="set_panel"> + <arg name="surface" type="object" interface="wl_surface"/> + </request> + + <!-- 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_surface"/> + <arg name="width" type="int"/> + <arg name="height" type="int"/> + </event> + + </interface> + +</protocol> |