2022-05-15 20:07:49 |
Gunnar Hjalmarsson |
bug |
|
|
added bug |
2022-05-15 20:10:34 |
Gunnar Hjalmarsson |
bug task added |
|
ubuntu-docs (Ubuntu) |
|
2022-05-15 20:11:30 |
Gunnar Hjalmarsson |
description |
I noticed this commit:
https://github.com/micheleg/dash-to-dock/commit/8ee55c29
If I understand it correctly, it means that we will use the label "Pin to Dash" instead of "Add to Favorites" as from Ubuntu 21.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. |
I noticed this commit:
https://github.com/micheleg/dash-to-dock/commit/8ee55c29
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. |
|
2022-05-15 22:14:55 |
Gunnar Hjalmarsson |
bug |
|
|
added subscriber Jon Duncan |
2022-05-16 07:35:27 |
Sebastien Bacher |
gnome-control-center (Ubuntu): importance |
Medium |
Low |
|
2022-05-16 11:01:15 |
Gunnar Hjalmarsson |
bug task added |
|
gnome-shell (Ubuntu) |
|
2022-05-16 11:01:50 |
Gunnar Hjalmarsson |
gnome-control-center (Ubuntu): importance |
Low |
Undecided |
|
2022-05-16 11:01:50 |
Gunnar Hjalmarsson |
gnome-control-center (Ubuntu): status |
New |
Invalid |
|
2022-05-16 11:02:31 |
Gunnar Hjalmarsson |
summary |
Rename "Dock" to "Dash" in Appearance |
Rename "Pin to Dash" to "Pin to Dock" |
|
2022-05-16 11:10:35 |
Gunnar Hjalmarsson |
gnome-shell (Ubuntu): importance |
Undecided |
Medium |
|
2022-05-16 13:38:06 |
Gunnar Hjalmarsson |
bug task added |
|
gnome-shell-extension-ubuntu-dock (Ubuntu) |
|
2022-05-16 13:38:23 |
Gunnar Hjalmarsson |
gnome-shell-extension-ubuntu-dock (Ubuntu): importance |
Undecided |
Medium |
|
2022-05-17 03:03:47 |
Daniel van Vugt |
gnome-shell (Ubuntu): importance |
Medium |
Wishlist |
|
2022-05-17 09:15:18 |
Gunnar Hjalmarsson |
bug |
|
|
added subscriber Marco Trevisan (TreviƱo) |
2022-05-17 09:18:38 |
Gunnar Hjalmarsson |
gnome-shell (Ubuntu): importance |
Wishlist |
Medium |
|