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 that dynamic top bar is beginning to get very irritating.
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?
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.
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/
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 Rawhide – no point in a release that isn't rolling. :-)
OK so it is intentional. In which case the writing has to switch to dark to make the translucent bar usable. White on black is fine, switching to white on light grey translucent, not readable. Needs to switch to dark gray on light grey translucent to preserve readability of the text.
I guess I should raise an issue somewhere?
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/ _______________________________________________
Yes indeed I am on Rawhide – no point in a release that isn't rolling. :-)
OK so it is intentional. In which case the writing has to switch to dark to make the translucent bar usable. White on black is fine, switching to white on light grey translucent, not readable. Needs to switch to dark gray on light grey translucent to preserve readability of the text.
I guess I should raise an issue somewhere?
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
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?id=783913