// This section has been taken from the wxWidgets sample code of richtext.cpp
// so that simple Cut/Copy/Paste code can be made.
// This section has been taken from the wxWidgets sample code of richtext.cpp
// so that simple Cut/Copy/Paste code can be made.