[Expired for gnome-shell-extension-ubuntu-dock (Ubuntu) because there
has been no activity for 60 days.]
** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu)
Status: Incomplete => Expired
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is
Could you add your journalctl log from the session which had the issue?
** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu)
Importance: Undecided => Low
** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu)
Status: New => Incomplete
--
You received this bug notification
It works again after a reboot.
So for me, the issue is okay now -- which does not mean things like this
should happen.
I will let you know in case I find a way to reliably reproduce the
behavior.
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed
PS:
Differently from
https://askubuntu.com/questions/1061924/ubuntu-wont-register-dock-settings-changes-in-18-04#new-answer
I did not download GNOME-Tweaks afaik.
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
