mirror of
https://github.com/wxWidgets/wxWidgets.git
synced 2026-08-18 09:30:13 +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.