diff options
Diffstat (limited to 'plugins/plugin-manager/plugin-manager.c')
| -rw-r--r-- | plugins/plugin-manager/plugin-manager.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/plugin-manager/plugin-manager.c b/plugins/plugin-manager/plugin-manager.c index 73b6a37f78..733c776064 100644 --- a/plugins/plugin-manager/plugin-manager.c +++ b/plugins/plugin-manager/plugin-manager.c @@ -365,7 +365,7 @@ org_gnome_plugin_manager_manage (void *ep, ESMenuTargetShell *t) subvbox = gtk_vbox_new (FALSE, 6); - markup = g_strdup_printf ("<span weight=\"bold\">%s :</span>", _(label_info[i].label)); + markup = g_strdup_printf ("<span weight=\"bold\">%s:</span>", _(label_info[i].label)); m->labels[i] = g_object_new (gtk_label_get_type (), "label", markup, "use_markup", TRUE, |