mirror of
https://github.com/wxWidgets/wxWidgets.git
synced 2026-09-21 13:26:08 +08:00
Provide a simpler way of creating wxPoint from wxRealPoint by truncating, instead of rounding, its coordinates.
Provide a simpler way of creating wxPoint from wxRealPoint by truncating, instead of rounding, its coordinates.