Applied patch in #13777 (wxRichTextCtrl scroll and delete not refreshed)
authorJulian Smart <julian@anthemion.co.uk>
Sun, 25 Dec 2011 17:04:51 +0000 (17:04 +0000)
committerJulian Smart <julian@anthemion.co.uk>
Sun, 25 Dec 2011 17:04:51 +0000 (17:04 +0000)
commit575be976000353d8800b1dfc0c9714d262ae5c97
tree07a61418452e9b8ac7325631710104ec9adc61ce
parent51ec29ea5d1d1093bafbae27a8483211a90d9659
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
src/richtext/richtextctrl.cpp