Export manually a wxRichtextctrl content, too slow

[Manuel Martín]

> I'm developing an app with wxPython that uses a Richtextctrl. I've
> written a routine to save the contents of the control to an xml file,
> including formatting.

Isn't wxRichTextCtrl::SaveFile(..) enough?
See docs

Manolo