Ubuntu
gnome-shell-extension-ubuntu-dock package

  1. Bug #1769383
  2. Comment #19

Comment 19 for bug 1769383

Revision history for this message
Didier Roche-Tolomelli (didrocks) wrote :

The best way to get it fixed is to be able to disable mod extensions, which is something I'm working on, and you can follow it on https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/2. This will probably be for dingo.