*** This bug is a duplicate of bug 1718850 ***
https://bugs.launchpad.net/bugs/1718850
** This bug is no longer a duplicate of bug 1713020
Ubuntu Dock extension cannot be disabled in the Ubuntu session
** This bug has been marked a duplicate of bug 1718850
System extensions appear off
*** This bug is a duplicate of bug 1713020 ***
https://bugs.launchpad.net/bugs/1713020
thank you for your bug report, that has already been reported as bug
#1713020
** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu)
Importance: Undecided => Low
** Changed in:
** Description changed:
On Artful, I disabled the ubuntu-dock extension using the gnome tweak tool.
The dock is still there.
- I'm not sure if this is a duplicate of lp:#1712698
+ I'm not sure if this is a duplicate of bug 1712698
ProblemType: Bug
DistroRelease: Ubuntu 17.10
** Description changed:
On Artful, I disabled the ubuntu-dock extension using the gnome tweak tool.
The dock is still there.
- I'm not sure if this is a duplicate of #1712698
+ I'm not sure if this is a duplicate of lp:#1712698
ProblemType: Bug
DistroRelease: Ubuntu 17.10
Package: