check that the version of __sync_sub_and_fetch that returns a value is supported...

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

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