only set maximal tooltip width if it's greater than the previously set one to avoid...

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

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