Thanks Daniel! I tested it successfully via this PPA:
https://launchpad.net/~gunnarhj/+archive/ubuntu/gnome-shell
and merged the gnome-shell MR.
Needless to say I'm inclined to upload, but I have a feeling that this
requires a freeze exception. So I subscribed ~ubuntu-release. You could
of cours
Alright, here it is. You need both of these in order:
1. https://salsa.debian.org/gnome-team/gnome-shell/-/merge_requests/52
2. https://github.com/micheleg/dash-to-dock/pull/1512
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-
** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu)
Status: Triaged => In Progress
** Changed in: gnome-shell (Ubuntu)
Status: Triaged => In Progress
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in U
I should note we can't do this unconditionally because that would break
the GNOME dock. It should only be done if Ubuntu Dock is loaded.
** Changed in: gnome-shell (Ubuntu)
Assignee: (unassigned) => Daniel van Vugt (vanvugt)
** Also affects: gnome-shell-extension-ubuntu-dock (Ubuntu)
Impo
Upstream fix (rejected): https://gitlab.gnome.org/GNOME/gnome-
shell/-/merge_requests/1943
** Changed in: gnome-shell (Ubuntu)
Status: Confirmed => Triaged
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.
Status changed to 'Confirmed' because the bug affects multiple users.
** Changed in: gnome-shell (Ubuntu)
Status: New => Confirmed
--
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.ne
There are two bugs here:
1. bug 1936643
2. https://discourse.ubuntu.com/t/gnome-40-an-option-for-the-choice-of-
session-at-startup/23216/6
** Changed in: gnome-shell (Ubuntu)
Importance: Undecided => Wishlist
--
You received this bug notification because you are a member of Ubuntu
Desktop B
