mirror of
https://github.com/wxWidgets/wxWidgets.git
synced 2026-08-18 01:19:45 +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.