Ubuntu
gnome-shell package

  1. Bug #1973474
  2. Comment #2

Comment 2 for bug 1973474

Revision history for this message
Gunnar Hjalmarsson (gunnarhj) wrote : Re: Rename "Dock" to "Dash" in Appearance

Hmm.. Using "Pin to Dock" (via a gnome-shell patch I suppose) may be better. Doing so probably lets us keep the established "Dock" and still be consistent.

Changing this bug accordingly.