give the panel 3D grey colour by default: as it's not a native control, we must give...

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

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