last change was wrong, fix wxUSE_MDI==0 build without completely disabling this file...

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

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