# HG changeset patch
# User reimar
# Date 1164576087 0
# Node ID 3204ae054ea6a1b4bb935ccf67e09debd9e8a7b2
# Parent  9ec30b8622ec30783638b61272c1ecad50b2a756
Use gtk_spin_button_get_value_as_int instead of gtk_spin_button_get_value since
it both is more correct and is available on gtk1 under the same name.

diff -r 9ec30b8622ec -r 3204ae054ea6 Gui/mplayer/gtk/opts.c
--- a/Gui/mplayer/gtk/opts.c	Sun Nov 26 20:53:29 2006 +0000
+++ b/Gui/mplayer/gtk/opts.c	Sun Nov 26 21:21:27 2006 +0000
@@ -545,8 +545,8 @@
 #ifdef USE_ASS
 	gtkASS.enabled=gtk_toggle_button_get_active( GTK_TOGGLE_BUTTON( CBUseASS ) );
 	gtkASS.use_margins=gtk_toggle_button_get_active( GTK_TOGGLE_BUTTON( CBASSUseMargins ) );
-	gtkASS.top_margin=gtk_spin_button_get_value( GTK_SPIN_BUTTON( SBASSTopMargin ) );
-	gtkASS.bottom_margin=gtk_spin_button_get_value( GTK_SPIN_BUTTON( SBASSBottomMargin ) );
+	gtkASS.top_margin=gtk_spin_button_get_value_as_int( GTK_SPIN_BUTTON( SBASSTopMargin ) );
+	gtkASS.bottom_margin=gtk_spin_button_get_value_as_int( GTK_SPIN_BUTTON( SBASSBottomMargin ) );
 #endif
 	sub_delay=HSSubDelayadj->value;
 	sub_fps=HSSubFPSadj->value;