Remove cast-to-int in gdi_getscaling

This fixes bug 141, which is currently the last blocker for rc2.

src/conio/win32gdi.c

@@ -1341,10 +1341,10 @@ gdi_setwinsize(int w, int h)
 double
 gdi_getscaling(void)
 {
-	int ret;
+	double ret;
 
 	pthread_mutex_lock(&vstatlock);
-	ret = (int)bitmap_double_mult_inside(vstat.winwidth, vstat.winheight);
+	ret = bitmap_double_mult_inside(vstat.winwidth, vstat.winheight);
 	pthread_mutex_unlock(&vstatlock);
 	return ret;
 }

src/syncterm/CHANGES

@@ -11,6 +11,7 @@ Added "Build Options" menu item
 Fix focus-follows-mouse behaviour in herbstluftwm
 Fix SAUCE binary capture date
 Add Build Options menu item
+Fix saving non-integer scaling in GDI mode
 
 Version 1.2rc1
 --------------