[gnome-shell-extensions] Use Unicode in translatable strings
- From: Piotr Drąg <piotrdrag src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell-extensions] Use Unicode in translatable strings
- Date: Thu, 16 Feb 2017 01:20:27 +0000 (UTC)
commit 5ad82d05f97f545380365380bc5ba89aa1aba0e8
Author: Piotr Drąg <piotrdrag gmail com>
Date: Fri Sep 30 00:09:16 2016 +0200
Use Unicode in translatable strings
See https://developer.gnome.org/hig/stable/typography.html
https://bugzilla.gnome.org/show_bug.cgi?id=772211
extensions/drive-menu/extension.js | 2 +-
extensions/example/prefs.js | 2 +-
extensions/places-menu/placeDisplay.js | 2 +-
....gnome.shell.extensions.window-list.gschema.xml | 2 +-
4 files changed, 4 insertions(+), 4 deletions(-)
---
diff --git a/extensions/drive-menu/extension.js b/extensions/drive-menu/extension.js
index 8d22987..f2dc29c 100644
--- a/extensions/drive-menu/extension.js
+++ b/extensions/drive-menu/extension.js
@@ -103,7 +103,7 @@ const MountMenuItem = 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);
},
diff --git a/extensions/example/prefs.js b/extensions/example/prefs.js
index 0ffe815..8491b8e 100644
--- a/extensions/example/prefs.js
+++ b/extensions/example/prefs.js
@@ -42,7 +42,7 @@ const ExamplePrefsWidget = new GObject.Class({
// translated
let primaryText = _("Example aims to show how to build well behaved \
extensions for the Shell and as such it has little functionality on its own.\n\
-Nevertheless it's possible to customize the greeting message.");
+Nevertheless it’s possible to customize the greeting message.");
this.add(new Gtk.Label({ label: primaryText,
wrap: true, xalign: 0 }));
diff --git a/extensions/places-menu/placeDisplay.js b/extensions/places-menu/placeDisplay.js
index bf220c6..a9682c4 100644
--- a/extensions/places-menu/placeDisplay.js
+++ b/extensions/places-menu/placeDisplay.js
@@ -56,7 +56,7 @@ const PlaceInfo = new Lang.Class({
Gio.AppInfo.launch_default_for_uri(file.get_uri(), launchContext);
});
} catch(e) {
- Main.notifyError(_("Failed to launch \"%s\"").format(this.name), e.message);
+ Main.notifyError(_("Failed to launch “%s”").format(this.name), e.message);
}
},
diff --git a/extensions/window-list/org.gnome.shell.extensions.window-list.gschema.xml
b/extensions/window-list/org.gnome.shell.extensions.window-list.gschema.xml
index 95a12e5..b745941 100644
--- a/extensions/window-list/org.gnome.shell.extensions.window-list.gschema.xml
+++ b/extensions/window-list/org.gnome.shell.extensions.window-list.gschema.xml
@@ -12,7 +12,7 @@
<summary>When to group windows</summary>
<description>
Decides when to group windows from the same application on the
- window list. Possible values are "never", "auto" and "always".
+ window list. Possible values are “never”, “auto” and “always”.
</description>
</key>
<key name="show-on-all-monitors" type="b">
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]