Emmanuele Bassi 2ffebad3d9 [script] Convert double to float when parsing
The default floating point type for JSON is double precision; this means
that we need to conver to single precision when setting a property with
type G_TYPE_FLOAT.
2009-08-26 16:48:32 +01:00
..
2009-08-11 14:19:24 +01:00
2009-08-17 14:14:18 +01:00
2009-08-11 13:27:25 +01:00
2009-01-20 18:47:50 +00:00
2009-07-10 11:38:42 +01:00
2009-07-10 11:38:42 +01:00
2009-03-13 14:29:27 +00:00