With Ubuntu Dock extension enabled, sometimes gnome-shell freezes and sometimes occur what is described in https://bugs.launchpad.net/gnome-shell/+bug/1870847. With the Ubuntu Dock extensions disabled, no one of the bugs occur.
With Ubuntu Dock extension enabled, sometimes gnome-shell freezes and sometimes occur what is described in https:/ /bugs.launchpad .net/gnome- shell/+ bug/1870847.
With the Ubuntu Dock extensions disabled, no one of the bugs occur.