Skip to content
GitLab
Explore
Sign in
GNOME
gnome-shell-extensions
Repository
gnome-shell-extensions
extensions
places-menu
placeDisplay.js
Find file
Blame
History
Permalink
places-menu: add Recent and Trash
· 8feda1c0
Giovanni Campagna
authored
Feb 10, 2013
and
Florian Müllner
committed
Nov 25, 2017
For completeness, compared with Nautilus. Fixes
GNOME/gnome-shell-extensions#2
8feda1c0