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)) {