On Sunday, September 8, 2019 9:59:03 PM MST Tomas Popela wrote:
On Fri, Sep 6, 2019 at 5:06 PM Ernestas Kulik ekulik@redhat.com wrote:
On Fri, 2019-09-06 at 14:26 +0000, Zbigniew Jędrzejewski-Szmek wrote:
Hi,
I upgraded to F31 recently, and I now I noticed that the gnome top bar is always black. I miss the old translucent blue bar that would only go black if window was moved adjacent. I'm not sure though when this changed...
https://gitlab.gnome.org/GNOME/gnome-shell/commit/9cfb51c106abd1f96012bf39 f3d329cf060035cf
And there is a MR (with improved heuristics) that tries to bring it back - https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/404.
Why not just make an option somewhere in settings so the user can simply decide for themselves?