[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: gnome-control-center (Ubuntu)
   Importance: Low => Undecided

** Changed in: gnome-control-center (Ubuntu)
   Status: New => Invalid

** Summary changed:

- Rename "Dock" to "Dash" in Appearance
+ Rename "Pin to Dash" to "Pin to Dock"

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1973474

Title:
  Rename "Pin to Dash" to "Pin to Dock"

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-control-center/+bug/1973474/+subscriptions


-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

[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? Probably a question to ask to design

** Changed in: gnome-control-center (Ubuntu)
   Importance: Medium => Low

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1973474

Title:
  Rename "Dock" to "Dash" in Appearance

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-control-center/+bug/1973474/+subscriptions


-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs