On Sat, 2017-06-17 at 13:57 +0100, Russel Winder wrote:
On Fri, 2017-06-16 at 23:46 -0700, Samuel Sieb wrote:
> On 06/16/2017 10:06 AM, Russel Winder wrote:
> > Some time in the last 4 or 6 weeks a GNOMEShell update has
> > changed
> > the
> > behaviour of the top bar: it seems dynamic top bar is now built
> > in,
> > not
> > an extension, and I would really like to switch it off and have
> > the
> > always black top bar.
> >
> > I appreciate that this is not a Fedora issue per se, but that
> > dynamic
> > top bar is beginning to get very irritating.
>
> I've never heard of that, but have you checked in the Gnome tweak
> tool
> if there's a setting for that?
Nothing in Tweak, nor that is obvious in dconf-editor. :-(
Currently the only way of getting black top-bar appears to be to have
an application window touching it.
_______________________________________________
This sounds like the new gnome-shell behavior in rawhide[1]. Are you
running rawhide?
1:
https://blogs.gnome.org/mclasen/2017/06/08/rawhide-sightings/