# HG changeset patch # User ib # Date 1389722263 0 # Node ID ba8a57ee32cd1f3a6943fc145edca3350c0c3b35 # Parent f13731842016c9b0f1c7f3edd9312e83aafc3a52 Cosmetic: Adjust indent. diff -r f13731842016 -r ba8a57ee32cd gui/dialog/preferences.c --- a/gui/dialog/preferences.c Tue Jan 14 17:56:50 2014 +0000 +++ b/gui/dialog/preferences.c Tue Jan 14 17:57:43 2014 +0000 @@ -1223,13 +1223,13 @@ gtk_adjustment_set_value( HSFontOutLineadj,subtitle_font_thickness / 8.0 * 100.0); // transform 0..8 to 0..100 gtk_adjustment_set_value( HSFontTextScaleadj,text_font_scale_factor ); gtk_adjustment_set_value( HSFontOSDScaleadj,osd_font_scale_factor ); - { - int i; - const char *s = (subtitle_font_encoding ? subtitle_font_encoding : "UNICODE"); - for ( i=0;lEncoding[i].name;i++ ) - if ( !strcasecmp( s,lEncoding[i].name ) ) break; - if ( lEncoding[i].name ) gtk_entry_set_text( GTK_ENTRY( EFontEncoding ),lEncoding[i].comment ); - } + { + int i; + const char *s = (subtitle_font_encoding ? subtitle_font_encoding : "UNICODE"); + for ( i=0;lEncoding[i].name;i++ ) + if ( !strcasecmp( s,lEncoding[i].name ) ) break; + if ( lEncoding[i].name ) gtk_entry_set_text( GTK_ENTRY( EFontEncoding ),lEncoding[i].comment ); + } switch ( subtitle_autoscale ) { case 0: gtk_toggle_button_set_active( GTK_TOGGLE_BUTTON( RBFontNoAutoScale ),TRUE ); break;