[Desktop-packages] [Bug 1711792] Re: Replace the word 'Launcher' with 'Dock' in Dock settings

2017-09-08 Thread Jeremy Bicha
And see the final screenshot at https://didrocks.fr/2017/09/08/ubuntu-gnome-shell-in-artful-day-10/ -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-control-center in Ubuntu. https://bugs.launchpad.net/bugs/1711792 Title: Replace

[Desktop-packages] [Bug 1711792] Re: Replace the word 'Launcher' with 'Dock' in Dock settings

2017-09-08 Thread Jeremy Bicha
Fixed now: https://launchpad.net/ubuntu/+source/gnome-control- center/1:3.25.92.1-0ubuntu1 See also Matthew's comments at https://bugs.launchpad.net/ubuntu/+source/gnome-control-center/+bug/1711791/comments/3 ** Changed in: gnome-control-center (Ubuntu) Status: New => Fix Released --

[Desktop-packages] [Bug 1711792] Re: Replace the word 'Launcher' with 'Dock' in Dock settings

2017-08-21 Thread Sebastien Bacher
Hey Matthew, would you maybe have an opinion on this one? ** Changed in: gnome-control-center (Ubuntu) Importance: Undecided => Low -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-control-center in Ubuntu.