Ubuntu
gnome-shell-extension-ubuntu-dock package

  1. Bug #1723117
  2. Comment #12

Comment 12 for bug 1723117

Revision history for this message
Budhajeewa (budhajeewa) wrote :

@eugriner:

>https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1723117/comments/11

I think the second option would be nicer.