From 9b04e6f44c2d50b6939bf8a83ab837d22a07b50a Mon Sep 17 00:00:00 2001
From: Giovanni Campagna <gcampagna@src.gnome.org>
Date: Fri, 16 Nov 2012 20:29:01 +0100
Subject: [PATCH] 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 file changed, 3 insertions(+)

diff --git a/extensions/places-menu/placeDisplay.js b/extensions/places-menu/placeDisplay.js
index 5a1c7d13..dc878a75 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)) {