Show
Ignore:
Timestamp:
06/14/06 14:23:53 (2 years ago)
Author:
jordi
Message:

The Web browser label is not bold now. Also, Mr_Moustache and VnPenguin? sent me the French and Vietnamese translations respectively.

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • trunk/src/gtk/PreferencesView.cxx

    r215 r238  
    103103                               1, 2, 0, 1); 
    104104 
    105     GtkWidget *webBrowserLabel = gtk_label_new (_("<b>Web _Browser:</b>")); 
     105    GtkWidget *webBrowserLabel = gtk_label_new (_("Web _Browser:")); 
    106106    gtk_misc_set_alignment (GTK_MISC (webBrowserLabel), 1.0, 0.5); 
    107107    gtk_label_set_use_markup (GTK_LABEL (webBrowserLabel), TRUE); 
     
    112112                               0, 1, 0, 1, 
    113113                               (GtkAttachOptions)(GTK_SHRINK | GTK_FILL), 
    114                                (GtkAttachOptions)(GTK_EXPAND | GTK_FILL), 
     114                               (GtkAttachOptions)(GTK_SHRINK), 
    115115                               0, 0); 
    116116 
     
    121121    gtk_table_attach (GTK_TABLE (table), note, 0, 2, 1, 2, 
    122122                      (GtkAttachOptions)(GTK_EXPAND | GTK_FILL), 
    123                       (GtkAttachOptions)(GTK_EXPAND | GTK_FILL), 
     123                      (GtkAttachOptions)(GTK_SHRINK), 
    124124                      0, 12); 
    125125