[gnome-shell-extensions] PlacesMenu: ignore missing local bookmarks

[Giovanni Campagna <gcampagna src gnome org>]

commit 9b04e6f44c2d50b6939bf8a83ab837d22a07b50a
Author: Giovanni Campagna <gcampagna src gnome org>
Date:   Fri Nov 16 20:29:01 2012 +0100

    PlacesMenu: ignore missing local bookmarks
    
    If a local bookmark does not refer to an existing directory, ignore
    it instead of showing a broken entry.

 extensions/places-menu/placeDisplay.js |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/extensions/places-menu/placeDisplay.js b/extensions/places-menu/placeDisplay.js
index 5a1c7d1..dc878a7 100644
--- a/extensions/places-menu/placeDisplay.js
+++ b/extensions/places-menu/placeDisplay.js
@@ -284,6 +284,9 @@ const PlacesManager = new Lang.Class({
                 continue;
 
             let file = Gio.File.new_for_uri(bookmark);
+            if (file.is_native() && !file.query_exists(null))
+                continue;
+
             let duplicate = false;
             for (let i = 0; i < this._places.special.length; i++) {
                 if (file.equal(this._places.special[i].file)) {