# HG changeset patch
# User ib
# Date 1354105408 0
# Node ID f9c4c37a7a43def495c8812846738dfc706d7e10
# Parent  0c93b5400dc7604840f21b6002a109785f98caaf
Comment unused return value.

Comment and don't remove it as a reminder to check the following
(commented) gtk_misc_set_padding() call later.

diff -r 0c93b5400dc7 -r f9c4c37a7a43 gui/ui/gtk/preferences.c
--- a/gui/ui/gtk/preferences.c	Wed Nov 28 12:14:46 2012 +0000
+++ b/gui/ui/gtk/preferences.c	Wed Nov 28 12:23:28 2012 +0000
@@ -896,7 +896,7 @@
   AddHSeparator( vbox3 );
   CBExtraStereo=AddCheckButton( MSGTR_PREFERENCES_ExtraStereo,vbox3 );
   hbox8=AddHBox( vbox3,1 );
-  label=AddLabel( MSGTR_PREFERENCES_Coefficient,hbox8 );
+  /*label=*/AddLabel( MSGTR_PREFERENCES_Coefficient,hbox8 );
 //    gtk_misc_set_padding( GTK_MISC( label ),20,0 );
   HSExtraStereoMuladj=GTK_ADJUSTMENT( gtk_adjustment_new( 0,-10,10,0.1,0,0 ) );
   HSExtraStereoMul=AddHScaler( HSExtraStereoMuladj,hbox8,1 );