** Summary changed:
- Ubuntu 17.10 Dock doesn't respect the color choice of the Gnome Shell theme
+ Ubuntu 17.10 dock and panel doesn't respect the color choice of the Gnome
Shell theme
** Also affects: gnome-shell (Ubuntu)
Importance: Undecided
Status: New
** Changed in: gnome-shell (Ubuntu)
Status: New => Confirmed
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1725536
Title:
Ubuntu 17.10 dock and panel doesn't respect the color choice of the
Gnome Shell theme
Status in gnome-shell package in Ubuntu:
Confirmed
Status in gnome-shell-extension-ubuntu-dock package in Ubuntu:
Confirmed
Bug description:
I performed a fresh install of Ubuntu 17.10 (wiped system partition)
but kept my home partition and home folder from Ubuntu Unity 17.04.
I've so far done minimal changes to my system besides from installing
some apps.
The Ubuntu 17.10 Dock uses orange dots to indicate what apps are open
and with how many instances. But changing the Gnome Shell theme
doesn't change this color even if the theme changes the color orange
everywhere else in the shell.
Take the highly popular Arc theme for instance
(https://github.com/horst3180/arc-theme). Installing it will change
the orange color that appears in the the alt+tab panel and the Gnome
Overview. But the orange color will remain in the Dock, causing a
slightly annoying inconsistency.
I think the original Gnome Dash to Dock extension respects the Gnome
Shell's choice of color (https://micheleg.github.io/dash-to-dock/).
Maybe it can be seen there from where the extension reads this crucial
color code and then you can do the same in the Dock?
ProblemType: Bug
DistroRelease: Ubuntu 17.10
Package: ubuntu-release-upgrader-core 1:17.10.7
ProcVersionSignature: Ubuntu 4.13.0-16.19-generic 4.13.4
Uname: Linux 4.13.0-16-generic x86_64
ApportVersion: 2.20.7-0ubuntu3
Architecture: amd64
CrashDB: ubuntu
CurrentDesktop: ubuntu:GNOME
Date: Sat Oct 21 02:49:07 2017
InstallationDate: Installed on 2017-10-19 (1 days ago)
InstallationMedia: Ubuntu 17.10 "Artful Aardvark" - Release amd64 (20171018)
PackageArchitecture: all
SourcePackage: ubuntu-release-upgrader
Symptom: release-upgrade
UpgradeStatus: No upgrade log present (probably fresh install)
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1725536/+subscriptions
--
Mailing list: https://launchpad.net/~desktop-packages
Post to : [email protected]
Unsubscribe : https://launchpad.net/~desktop-packages
More help : https://help.launchpad.net/ListHelp
