Skip to content
GitLab
Explore
Sign in
GNOME
gnome-shell
Issues
#319
Favourites should use notification badges
This change
from Dash to Dock
should be supported in GNOME Shell by default.