# HG changeset patch
# User ib
# Date 1375185244 0
# Node ID e160aade4b6dc7e2c29f82b138284db1c0bcb71d
# Parent  79519749ef4e7c7abfe96957ae35f50ea0c3bc56
Remove unnecessary type conversions.

diff -r 79519749ef4e -r e160aade4b6d gui/dialog/preferences.c
--- a/gui/dialog/preferences.c	Tue Jul 30 11:52:47 2013 +0000
+++ b/gui/dialog/preferences.c	Tue Jul 30 11:54:04 2013 +0000
@@ -1162,8 +1162,8 @@
 #ifdef CONFIG_ASS
  gtk_toggle_button_set_active( GTK_TOGGLE_BUTTON( CBUseASS ),gtkASS.enabled );
  gtk_toggle_button_set_active( GTK_TOGGLE_BUTTON( CBASSUseMargins ),gtkASS.use_margins );
- gtk_spin_button_set_value( (GtkSpinButton *)SBASSTopMargin,(gdouble)gtkASS.top_margin );
- gtk_spin_button_set_value( (GtkSpinButton *)SBASSBottomMargin,(gdouble)gtkASS.bottom_margin );
+ gtk_spin_button_set_value( (GtkSpinButton *)SBASSTopMargin,gtkASS.top_margin );
+ gtk_spin_button_set_value( (GtkSpinButton *)SBASSBottomMargin,gtkASS.bottom_margin );
 
  if ( !gtkASS.enabled )
   {
diff -r 79519749ef4e -r e160aade4b6d gui/ui/menu.c
--- a/gui/ui/menu.c	Tue Jul 30 11:52:47 2013 +0000
+++ b/gui/ui/menu.c	Tue Jul 30 11:54:04 2013 +0000
@@ -177,6 +177,6 @@
         guiApp.menuItems[i].x+guiApp.menuItems[i].width,
         guiApp.menuItems[i].y+guiApp.menuItems[i].height ) )
    {
-    uiEvent( guiApp.menuItems[i].message,(float)w );
+    uiEvent( guiApp.menuItems[i].message,w );
    }
 }