Vadim Zeitlin 9774d92e91 Change wxSize::Scale() to take double, not float ... There doesn't seem to be any reason to use float here when double is used everywhere else. Moreover, the (implicit) conversion of int to float is not always lossless, and resulted in -Wconversion warnings from g++ 7, which disappear when using doubles.		2018-03-06 16:01:45 +01:00
..
wx	Change wxSize::Scale() to take double, not float	2018-03-06 16:01:45 +01:00
check_syntax.sh