Ubuntu
gnome-shell-extension-ubuntu-dock package

  1. Bug #1722570
  2. Comment #3

Comment 3 for bug 1722570

Revision history for this message
François Glais (franglais125) wrote :

For more information, I opened an bug with GNOME on this some time ago: https://bugzilla.gnome.org/show_bug.cgi?id=788159

Also, for reference, you can bring up the numbers by pressing Super+Q.