mirror of
https://github.com/wxWidgets/wxWidgets.git
synced 2026-08-20 22:06:25 +08:00
For some reason, while both operator*(wxSize, double) and wxSize::operator/=(double) existed, this one did not, which was unexpected, so add it too.