[Bug 281846] x11/xfce4-whiskermenu-plugin: rename GTK_LAYER_SHELL to WAYLAND for consistency

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=281846

Guido Falsi <madpilot@FreeBSD.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |madpilot@FreeBSD.org
              Flags|maintainer-feedback?(xfce@F |maintainer-feedback+
                   |reeBSD.org)                 |

--- Comment #1 from Guido Falsi <madpilot@FreeBSD.org> ---
Hi, I see no problem with such a change, so with xfce hat I approve.

It is only an option name change, as far as I can see.

Please keep the default as is (on?) and maybe add an UPDATING entry to keep
users informed.

Can you perform this change yourself?

-- 
You are receiving this mail because:
You are the assignee for the bug.