On Mon, 2019-09-09 at 04:26 -0700, John M. Harris Jr. wrote:
On Monday, September 9, 2019 3:07:54 AM MST Felipe Borges wrote:
> On Mon, Sep 9, 2019 at 11:56 AM John M. Harris Jr. <
> johnmh(a)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 <
> > > ekulik(a)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/9cfb51c106abd1f96012
> > > > bf39
> > > > 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
This is precisely the issue with GNOME entirely. It assumes the user
shouldn't
have a choice, that some designers know best.
Yes, precisely *your* issue. I’d rather someone think for me as far as
defaults go and not give me a quest to set everything up just right
every time I install the DE.
--
Ernestas Kulik
Associate Software Engineer - Base Operating Systems (Core
Services/ABRT)
Red Hat Czech, s.r.o.