[gnome-shell-extensions/wip/gcampagna/add-more-places] places-menu: add Recent and Trash
- From: Florian Müllner <fmuellner src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell-extensions/wip/gcampagna/add-more-places] places-menu: add Recent and Trash
- Date: Sat, 25 Nov 2017 04:17:04 +0000 (UTC)
commit 8feda1c06249a8a2acacfafba9aece191462d8e2
Author: Giovanni Campagna <gcampagna src gnome org>
Date: Sun Feb 10 17:59:23 2013 +0100
places-menu: add Recent and Trash
For completeness, compared with Nautilus.
Fixes https://gitlab.gnome.org/GNOME/gnome-shell-extensions/issues/2
extensions/places-menu/placeDisplay.js | 7 +++++++
1 file changed, 7 insertions(+)
---
diff --git a/extensions/places-menu/placeDisplay.js b/extensions/places-menu/placeDisplay.js
index ba316bf..accae9e 100644
--- a/extensions/places-menu/placeDisplay.js
+++ b/extensions/places-menu/placeDisplay.js
@@ -299,6 +299,9 @@ var PlacesManager = new Lang.Class({
let homePath = GLib.get_home_dir();
this._places.special.push(new PlaceInfo('special',
+ Gio.File.new_for_uri('recent:///'),
+ _("Recent")));
+ this._places.special.push(new PlaceInfo('special',
Gio.File.new_for_path(homePath),
_("Home")));
@@ -328,6 +331,10 @@ var PlacesManager = new Lang.Class({
});
this._places.special = this._places.special.concat(specials);
+ this._places.special.push(new PlaceInfo('special',
+ Gio.File.new_for_uri('trash:///'),
+ _("Trash")));
+
this.emit('special-updated');
},
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]