1 |
--- src/preferences.c.old 2015-02-01 00:05:51.051935326 +0300 |
2 |
+++ src/preferences.c 2015-02-01 00:04:46.823034229 +0300 |
3 |
@@ -1013,7 +1013,7 @@ |
4 |
myprefs[i].w= gtk_frame_new(NULL); |
5 |
gtk_frame_set_shadow_type((GtkFrame*) myprefs[i].w, GTK_SHADOW_NONE); |
6 |
label = gtk_label_new(NULL); /**<b>myprefs[i].desc */ |
7 |
- gtk_label_set_markup((GtkLabel*)label, myprefs[i].desc); |
8 |
+ gtk_label_set_markup((GtkLabel*)label, _(myprefs[i].desc)); |
9 |
gtk_frame_set_label_widget((GtkFrame*) myprefs[i].w, label); |
10 |
alignment = gtk_alignment_new(0.50, 0.50, 1.0, 1.0); |
11 |
gtk_alignment_set_padding((GtkAlignment*)alignment, 12, 0, 12, 0); |