I have several questions about wxStyledTextCtrl: 1) Is it still being maintained?
2) Where are the docs and tutorials? 3) Is it wxStyledTextCtrl, wx.StyledTextCtrl, StyledTextCtrl, or... ? 4) Is there an alternative? /David -- http://mail.python.org/mailman/listinfo/python-list
