const wxPoint& pos = wxDefaultPosition,
const wxSize& size = wxDefaultSize, long style = 0,
const char* name = "styledtext");
+ %%pragma(python) addtomethod = "__init__:self._setOORInfo(self)"
+
#else
wxStyledTextCtrl(wxWindow *parent, wxWindowID id,
const wxPoint& pos = wxDefaultPosition,
ScintillaWX* m_swx;
wxStopWatch m_stopWatch;
+ bool m_lastKeyDownConsumed;
friend class ScintillaWX;
friend class Platform;