PlacesMenu: ignore missing local bookmarks

If a local bookmark does not refer to an existing directory, ignore it instead of showing a broken entry.
2012-11-16 20:29:01 +01:00
parent 315aa82d15
commit 9b04e6f44c
1 changed files with 3 additions and 0 deletions
@@ -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)) {