Partial fix for #15714: Caret jumping problem in wxRichTextCtrl text selection

git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@75317 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775
This commit is contained in:
Julian Smart
2013-11-28 16:50:49 +00:00
parent dbd7b25f42
commit 9596db7c4b

View File

@@ -964,6 +964,9 @@ void wxRichTextCtrl::OnMoveMouse(wxMouseEvent& event)
&& !m_preDrag
&& (distance > 4)
#endif
// Don't select to the end of the container when going outside the window
// For analysis, see http://trac.wxwidgets.org/ticket/15714
&& (! (hitObj == (& m_buffer) && ((hit & wxRICHTEXT_HITTEST_OUTSIDE) != 0)))
)
{
SetCaretPositionAfterClick(container, position, hit, true /* extend selection */);