** Changed in: gnome-shell (Ubuntu)
Status: Fix Committed => Fix Released
** Changed in: yaru-theme (Ubuntu)
Status: Fix Committed => Fix Released
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.
ht
Oh, well a mix of them actually. But probably yaru is enough for current
shell as well.
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1962283
Title:
Ubuntu dock has a border
Looks like the pending fix might come from yaru-theme (in proposed)
rather than gnome-shell (in proposed)?
** Changed in: yaru-theme (Ubuntu)
Status: Invalid => Fix Committed
** Changed in: yaru-theme (Ubuntu)
Assignee: (unassigned) => Marco Trevisan (Treviño) (3v1n0)
** Tags added:
** Also affects: gnome-shell (Ubuntu)
Importance: Undecided
Status: New
** Changed in: gnome-shell (Ubuntu)
Status: New => Fix Committed
** Changed in: gnome-shell (Ubuntu)
Importance: Undecided => Medium
** Changed in: gnome-shell (Ubuntu)
Assignee: (unassigned) => Marc
Closing this as invalid, as it's just a "temporary" visual issue that is
going to be closed when gnome-42 is landed
** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu)
Status: New => Won't Fix
** Changed in: yaru-theme (Ubuntu)
Status: New => Invalid
--
You received this bug