Ubuntu
gnome-shell-extension-ubuntu-dock package

  1. Bug #1814889
  2. Comment #2

Comment 2 for bug 1814889

Revision history for this message
Zeno Gantner (zeno-gantner) wrote :

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.