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/
Attachment:
signature.asc
Description: This is a digitally signed message part
_______________________________________________ test mailing list -- test@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to test-leave@xxxxxxxxxxxxxxxxxxxxxxx
