edu4rdshl/gnome-shell
1
0
Fork 0
mirror of https://github.com/edu4rdshl/gnome-shell.git synced 2026-07-17 23:24:51 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

dash: Use pin instead of favorites

Browse source 
Use the term 'pin' for adding new items to the dash
Note that this is only a string change.

Fixes https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/4976

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2136>
This commit is contained in:
Rachit Keerti Das 2022-01-29 22:37:25 +05:30 • committed by Marge Bot
parent f094b6ddd6
commit a67877f520
3 changed files with 5 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

4
js/ui/appMenu.js
View file

@ -160,8 +160,8 @@ var AppMenu = class AppMenu extends PopupMenu.PopupMenu {
const { id } = this._app;
this._toggleFavoriteItem.label.text = this._appFavorites.isFavorite(id)
? _('Remove from Favorites')
: _('Add to Favorites');
? _('Unpin')
: _('Pin to Dash');
}
_updateGpuItem() {