← Back to team overview

documentation-packages team mailing list archive

[Bug 1973474] Re: Rename "Pin to Dash" to "Pin to Dock"


Ironically I'm dealing with ubuntu-dock code right now that mentions
"dock.dash" as in the dash is a member of the Ubuntu dock. But that's an
implementation detail...

Given how freely extensions might change things I would lean toward
never mentioning "dash" or "dock" in menu items. Like "Move to
favourites" since doing so removes the icon from the app grid.

You received this bug notification because you are a member of
Documentation Packages, which is subscribed to ubuntu-docs in Ubuntu.

  Rename "Pin to Dash" to "Pin to Dock"

Status in gnome-control-center package in Ubuntu:
Status in gnome-shell package in Ubuntu:
Status in gnome-shell-extension-ubuntu-dock package in Ubuntu:
Status in ubuntu-docs package in Ubuntu:

Bug description:
  I noticed this commit:


  If I understand it correctly, it means that we will use the label "Pin
  to Dash" instead of "Add to Favorites" as from Ubuntu 22.10. To be
  consistent I suggest that we rename the thing in all contexts, and
  hence replace "Dock" with "Dash" in all affected strings in the
  Appearance section in g-c-c.

To manage notifications about this bug go to: