mirror of
https://github.com/wxWidgets/wxWidgets.git
synced 2026-10-06 07:00:16 +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.