mirror of
https://github.com/wxWidgets/wxWidgets.git
synced 2026-08-17 08:53:06 +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.