Thank you for reporting this bug to Ubuntu. Ubuntu 17.10 (artful) reached end-of-life on July 19, 2018.
See this document for currently supported Ubuntu releases: https://wiki.ubuntu.com/Releases We appreciate that this bug may be old and you might not be interested in discussing it any more. But if you are then please upgrade to the latest Ubuntu version and re-test. If you then find the bug is still present in the newer Ubuntu version, please add a comment here telling us which new version it is in. ** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu) Status: New => Won't Fix -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-shell-extension-ubuntu-dock in Ubuntu. https://bugs.launchpad.net/bugs/1727897 Title: 'Use system theme' option in Dash to Dock breaks Ubuntu Dock theme on revert Status in gnome-shell-extension-ubuntu-dock package in Ubuntu: Won't Fix Bug description: To reproduce ------------ Enable Dash to Dock. Go into its settings. Set 'use system theme'. Disable Dash to Dock (to revert to Ubuntu Dock). It will be a completely solid darker colour and won't go transparent when you move windows away from it. Expected behavior ----------------- After enabling 'use system theme' and reverting to Ubuntu Dock, the Ubuntu Dock uses its usual theme (because it doesn't support the 'use system theme' setting). To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1727897/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
