On Mon, Sep 9, 2019 at 11:56 AM John M. Harris Jr. <joh...@splentity.com> wrote: > > On Sunday, September 8, 2019 9:59:03 PM MST Tomas Popela wrote: > > On Fri, Sep 6, 2019 at 5:06 PM Ernestas Kulik <eku...@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?
https://ometer.com/preferences.html > > > _______________________________________________ > devel mailing list -- email@example.com > To unsubscribe send an email to devel-le...@lists.fedoraproject.org > Fedora Code of Conduct: > https://docs.fedoraproject.org/en-US/project/code-of-conduct/ > List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines > List Archives: > https://firstname.lastname@example.org _______________________________________________ devel mailing list -- email@example.com To unsubscribe send an email to devel-le...@lists.fedoraproject.org Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://firstname.lastname@example.org