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

From: <bugzilla-noreply_at_freebsd.org>
Date: Mon, 07 Oct 2024 14:27:40 UTC
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=281846

Jan Beich <jbeich@FreeBSD.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|New                         |Closed
         Resolution|---                         |FIXED

--- Comment #5 from Jan Beich <jbeich@FreeBSD.org> ---
(In reply to Guido Falsi from comment #1)
> maybe add an UPDATING entry to keep users informed.

Very unlikely for a user to disable GTK_LAYER_SHELL but not WAYLAND. Lots of
ports have WAYLAND option. Besides, manual build should re-trigger "make
config" due to a new option.

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