Correct id in the wxRichTextCtrl::OnUndo() documentation.

wxID_PASTE was wrongly used instead of wxID_UNDO.

Closes #12278.

git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@65127 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775

interface/wx/richtext/richtextctrl.h

@@ -1125,7 +1125,7 @@ public:
     void OnSelectAll(wxCommandEvent& event);
 
     /**
-        Standard handler for the wxID_PASTE command.
+        Standard handler for the wxID_UNDO command.
     */
     void OnUndo(wxCommandEvent& event);