AvalonEdit: don't unnecessarily update the mouse cursor.