[Bug 1962283] Re: Ubuntu dock has a border

2022-03-15 Thread Daniel van Vugt
** 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

[Bug 1962283] Re: Ubuntu dock has a border

2022-03-04 Thread Treviño
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

[Bug 1962283] Re: Ubuntu dock has a border

2022-03-03 Thread Daniel van Vugt
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:

[Bug 1962283] Re: Ubuntu dock has a border

2022-02-27 Thread Daniel van Vugt
** 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

[Bug 1962283] Re: Ubuntu dock has a border

2022-02-26 Thread Treviño
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