Applied patch in #13777 (wxRichTextCtrl scroll and delete not refreshed)

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

diff --git a/src/richtext/richtextctrl.cpp b/src/richtext/richtextctrl.cpp
index 0e1c0c1ed8709076314796facebba84a04700f23..d20413be707f4db3ada81a574cb18e8c09fce607 100644 (file)
--- a/src/richtext/richtextctrl.cpp
+++ b/src/richtext/richtextctrl.cpp
@@ -1162,6 +1162,8 @@ void wxRichTextCtrl::OnChar(wxKeyEvent& event)
             SetDefaultStyleToCursorStyle();
         }
 
+        ScrollIntoView(m_caretPosition, WXK_LEFT);
+
         wxRichTextEvent cmdEvent(
             wxEVT_COMMAND_RICHTEXT_DELETE,
             GetId());