mirror of
https://github.com/wxWidgets/wxWidgets.git
synced 2026-09-29 10:25:27 +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.