On Sat, 2017-06-17 at 11:26 -0700, Link Dupont wrote:
[…]
> Yep. Since rawhide had development versions of GNOME right now, the
> place to start would probably be GNOME's bugzilla[1].
>
> 1: https://bugzilla.gnome.org/enter_bug.cgi?product=gnome-shell
Done. https://bugzilla.gnome.org/show_bug.cgi
On Sat, 2017-06-17 at 18:00 +0100, Russel Winder wrote:
> On Sat, 2017-06-17 at 07:01 -0700, Link Dupont wrote:
> > […]
> >
> > 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/
>
On Sat, 2017-06-17 at 07:01 -0700, Link Dupont wrote:
> […]
>
> 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/
> ___
Yes indeed I am on Rawhid
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
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 li
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
Hi,
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 tha
