[Documentation-packages] [Bug 1973474] Re: Rename "Dock" to "Dash" in Appearance

2022-05-16 Thread Gunnar Hjalmarsson
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. ** Also affects: gnome-shell (Ubuntu) Importance: Undecided Status: New ** Changed in:

[Documentation-packages] [Bug 1973474] Re: Rename "Dock" to "Dash" in Appearance

2022-05-16 Thread Sebastien Bacher
Thanks Gunnar. The reason the string was picked is to be able to reuse the translations from gnome-shell, which made sense at this point of the cycle, but is it really the best string to use for Ubuntu? Upstream doesn't have a dock but we do, perhaps we should use 'pin to dock' for our shell?