Dock does not change position nor icon size

[Zeno Gantner]

I cannot change the position of the dock.

How to reproduce (on my system):

Either:
(a) open the settings -> Dock and select a different value for the dock, e.g. "Bottom", or
(b) enter "gsettings set org.gnome.shell.extensions.dash-to-dock dock-position BOTTOM" in the command line

Expected result: In both cases, the dock should move to the bottom of the screen.

Actual result: The dock remains at the same position.

Additional observations:
1. I also cannot change the icon size (only tried via GUI, not command line).
2. All the behavior is observed no matter what other settings (auto-hide, show on) I pick.
3. This describes a similar (the same?) problem: https://askubuntu.com/questions/1061924/ubuntu-wont-register-dock-settings-changes-in-18-04#new-answer

Screenshots are attached.

Please let me know if I should provide additional information.
I am a fairly technical user, and I am willing to put in some effort to get this resolved.

ProblemType: Bug
DistroRelease: Ubuntu 18.04
Package: gnome-shell-extension-ubuntu-dock 0.9.1ubuntu18.04.3
ProcVersionSignature: Ubuntu 4.15.0-43.46-generic 4.15.18
Uname: Linux 4.15.0-43-generic x86_64
NonfreeKernelModules: nvidia_modeset nvidia
ApportVersion: 2.20.9-0ubuntu7.5
Architecture: amd64
CurrentDesktop: ubuntu:GNOME
Date: Wed Feb 6 12:51:39 2019
InstallationDate: Installed on 2018-11-20 (77 days ago)
InstallationMedia: Ubuntu 18.04.1 LTS "Bionic Beaver" - Release amd64 (20180725)
PackageArchitecture: all
SourcePackage: gnome-shell-extension-ubuntu-dock
UpgradeStatus: No upgrade log present (probably fresh install)

[Zeno Gantner (zeno-gantner)]

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.

[Zeno Gantner (zeno-gantner)]

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.

[Sebastien Bacher (seb128)]

Could you add your journalctl log from the session which had the issue?

[Launchpad Janitor (janitor)]

[Expired for gnome-shell-extension-ubuntu-dock (Ubuntu) because there has been no activity for 60 days.]