replaced wxCint() with wxRound() (which is exactly the same) in Rotate(); small code...

[wxWidgets.git] / src / stc / PlatWX.h

wxRect wxRectFromPRectangle(PRectangle prc);
PRectangle PRectangleFromwxRect(wxRect rc);
wxColour wxColourFromCA(const ColourAllocated& ca);