Use wxBufferedPaintDC for wxStyledTextCtrl drawing in wxGTK.

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

wxRect wxRectFromPRectangle(PRectangle prc);
PRectangle PRectangleFromwxRect(wxRect rc);
wxColour wxColourFromCD(const ColourDesired& ca);