Rachit Keerti Das a67877f520 dash: Use pin instead of favorites ...

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>

2022-02-07 14:12:04 +00:00

..

dbusServices

dbusServices/notifications: Disallow acting on "foreign" IDs

2022-02-05 12:17:23 +00:00

gdm

js: Change main.pushModal to return the Clutter.Grab handle

2022-01-29 01:16:30 +01:00

misc

systemActions: Add a screenshot UI action

2022-02-04 13:03:09 +00:00

perf

perf: Add basic run tests

2020-08-12 15:43:39 +00:00

portalHelper

portalHelper: Replace Soup.URI with GLib.Uri

2021-08-25 01:54:07 +02:00

ui

dash: Use pin instead of favorites

2022-02-07 14:12:04 +00:00

js-resources.gresource.xml

gdm: Add AuthList control

2022-01-13 15:03:02 -05:00

meson.build

extensions-app: Move Extensions app to new subproject

2020-03-27 23:33:30 +00:00

portal-resources.gresource.xml

js: Remove unused files from resources

2020-03-09 13:18:48 +00:00