From a26f9e34c724f91b93dd09db33a7bf493e17e9c7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Piotr=20Dr=C4=85g?= Date: Sat, 25 Nov 2017 16:21:35 +0100 Subject: [PATCH] places-menu: Use Unicode quotation marks in a new string See https://developer.gnome.org/hig/stable/typography.html https://bugzilla.gnome.org/show_bug.cgi?id=772211 --- 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 796619c0..34c594e8 100644 --- a/extensions/places-menu/placeDisplay.js +++ b/extensions/places-menu/placeDisplay.js @@ -218,7 +218,7 @@ const PlaceDeviceInfo = new Lang.Class({ }, _reportFailure: function(exception) { - let msg = _("Ejecting drive '%s' failed:").format(this._mount.get_name()); + let msg = _("Ejecting drive ā€œ%sā€ failed:").format(this._mount.get_name()); Main.notifyError(msg, exception.message); } });