From 880758e47095a971aa7bc6e293adbee29fea77c4 Mon Sep 17 00:00:00 2001 From: Giovanni Campagna Date: Wed, 7 Nov 2012 17:41:52 +0100 Subject: [PATCH] PlacesMenu: don't fail for GIO errors getting the file name Different GIO backends can fail in different ways trying to query file infos. If that's the case, fail back to safe get_basename() instead of crashing. --- extensions/places-menu/placeDisplay.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/extensions/places-menu/placeDisplay.js b/extensions/places-menu/placeDisplay.js index 433f32b0..1374b2e6 100644 --- a/extensions/places-menu/placeDisplay.js +++ b/extensions/places-menu/placeDisplay.js @@ -75,7 +75,7 @@ const PlaceInfo = new Lang.Class({ try { let info = this.file.query_info('standard::display-name', 0, null); return info.get_display_name(); - } catch(e if e.matches(Gio.IOErrorEnum, Gio.IOErrorEnum.NOT_SUPPORTED)) { + } catch(e if e instanceof Gio.IOErrorEnum) { return this.file.get_basename(); } },