We have tried to use the LocationManager.getBestProvider. But trying to be smart, we would like to use better Provider if one becomes available, but it seems there isn't a existing way to tell whether a new Provider is better. Of course, we/each developer could develop a Comparator for this purpose, but it seems appropriate to have a default Comparator since we do provide a getBestProvider which indicates that API does have its criteria about which one is better. Don't you agree?
--~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "Android Developers" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/android-developers?hl=en -~----------~----~----~----~------~----~------~--~---
