- __init__(self, Window parent, int id=-1, Point pos=DefaultPosition,
- Size size=DefaultSize, long style=RE_MULTILINE) -> RichTextCtrl
+ __init__(self, Window parent, int id=-1, String value=EmptyString,
+ Point pos=DefaultPosition, Size size=DefaultSize,
+ long style=RE_MULTILINE) -> RichTextCtrl