Ubuntu
gnome-shell package

  1. Bug #1973474
  2. Comment #5

Comment 5 for bug 1973474

Revision history for this message
Daniel van Vugt (vanvugt) wrote :

I'm not sure I agree with this, but do appreciate the wording is confusing in a world of dash and dock.

* Regular users are less likely to understand "pinned" as much as "favourites".
* Power users may have no dock, only a dash, and so the existing wording is correct.
* It's a patch we would have to maintain.