From 3729e592a6154cc717e378afd1bc141f4ac736e4 Mon Sep 17 00:00:00 2001 From: Carlos Garnacho Date: Sat, 6 Feb 2016 15:02:13 +0100 Subject: [PATCH] wayland: Update gtk-shell protocol file to v3 Add a gtk_shell.set_startup_id request, so the application can communicate to the compositor the startup id that it received through the DESKTOP_STARTUP_ID envvar, or other means. https://bugzilla.gnome.org/show_bug.cgi?id=762268 --- src/wayland/protocol/gtk-shell.xml | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/src/wayland/protocol/gtk-shell.xml b/src/wayland/protocol/gtk-shell.xml index fd9974e20..258442c62 100644 --- a/src/wayland/protocol/gtk-shell.xml +++ b/src/wayland/protocol/gtk-shell.xml @@ -1,6 +1,6 @@ - + gtk_shell is a protocol extension providing additional features for clients implementing it. It is not backward compatible, and a client must @@ -23,9 +23,13 @@ + + + + - +