diff options
| author | Piotr Drąg <piotrdrag@gmail.com> | 2016-10-03 18:20:03 +0200 |
|---|---|---|
| committer | Matthias Clasen <mclasen@redhat.com> | 2016-12-19 15:08:10 -0500 |
| commit | a2da4ddcebcf1c28f49d6a73d2a575be17be873e (patch) | |
| tree | 174ad02f69d0695ca753f3433ec25ed9ce82daa8 /gtk/gtkrecentchoosermenu.c | |
| parent | 7331735499e09aeb981f821b540131195a1f31e7 (diff) | |
| download | gtk+-a2da4ddcebcf1c28f49d6a73d2a575be17be873e.tar.gz | |
Use Unicode in translatable strings
See https://developer.gnome.org/hig/stable/typography.html
https://bugzilla.gnome.org/show_bug.cgi?id=772371
Diffstat (limited to 'gtk/gtkrecentchoosermenu.c')
| -rw-r--r-- | gtk/gtkrecentchoosermenu.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gtk/gtkrecentchoosermenu.c b/gtk/gtkrecentchoosermenu.c index 5a5b1a6849..82f59be4d8 100644 --- a/gtk/gtkrecentchoosermenu.c +++ b/gtk/gtkrecentchoosermenu.c @@ -492,7 +492,7 @@ gtk_recent_chooser_menu_set_current_uri (GtkRecentChooser *chooser, { g_set_error (error, GTK_RECENT_CHOOSER_ERROR, GTK_RECENT_CHOOSER_ERROR_NOT_FOUND, - _("No recently used resource found with URI '%s'"), + _("No recently used resource found with URI “%s”"), uri); } @@ -548,7 +548,7 @@ gtk_recent_chooser_menu_select_uri (GtkRecentChooser *chooser, { g_set_error (error, GTK_RECENT_CHOOSER_ERROR, GTK_RECENT_CHOOSER_ERROR_NOT_FOUND, - _("No recently used resource found with URI '%s'"), + _("No recently used resource found with URI “%s”"), uri); return FALSE; } @@ -747,7 +747,7 @@ gtk_recent_chooser_menu_add_tip (GtkRecentChooserMenu *menu, path = gtk_recent_info_get_uri_display (info); if (path) { - gchar *tip_text = g_strdup_printf (_("Open '%s'"), path); + gchar *tip_text = g_strdup_printf (_("Open “%s”"), path); gtk_widget_set_tooltip_text (item, tip_text); gtk_widget_set_has_tooltip (item, priv->show_tips); |